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 2021-05-06
*/

// SPDX-License-Identifier: AGPL-3.0-or-later

/// clip.sol -- Dai auction module 2.0

// Copyright (C) 2020-2021 Maker Ecosystem Growth Holdings, INC.
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published
// by the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity >=0.6.12;

interface VatLike {
    function move(address,address,uint256) external;
    function flux(bytes32,address,address,uint256) external;
    function ilks(bytes32) external returns (uint256, uint256, uint256, uint256, uint256);
    function suck(address,address,uint256) external;
}

interface PipLike {
    function peek() external returns (bytes32, bool);
}

interface SpotterLike {
    function par() external returns (uint256);
    function ilks(bytes32) external returns (PipLike, uint256);
}

interface DogLike {
    function chop(bytes32) external returns (uint256);
    function digs(bytes32, uint256) external;
}

interface ClipperCallee {
    function clipperCall(address, uint256, uint256, bytes calldata) external;
}

interface AbacusLike {
    function price(uint256, uint256) external view returns (uint256);
}

contract Clipper {
    // --- Auth ---
    mapping (address => uint256) public wards;
    function rely(address usr) external auth { wards[usr] = 1; emit Rely(usr); }
    function deny(address usr) external auth { wards[usr] = 0; emit Deny(usr); }
    modifier auth {
        require(wards[msg.sender] == 1, "Clipper/not-authorized");
        _;
    }

    // --- Data ---
    bytes32  immutable public ilk;   // Collateral type of this Clipper
    VatLike  immutable public vat;   // Core CDP Engine

    DogLike     public dog;      // Liquidation module
    address     public vow;      // Recipient of dai raised in auctions
    SpotterLike public spotter;  // Collateral price module
    AbacusLike  public calc;     // Current price calculator

    uint256 public buf;    // Multiplicative factor to increase starting price                  [ray]
    uint256 public tail;   // Time elapsed before auction reset                                 [seconds]
    uint256 public cusp;   // Percentage drop before auction reset                              [ray]
    uint64  public chip;   // Percentage of tab to suck from vow to incentivize keepers         [wad]
    uint192 public tip;    // Flat fee to suck from vow to incentivize keepers                  [rad]
    uint256 public chost;  // Cache the ilk dust times the ilk chop to prevent excessive SLOADs [rad]

    uint256   public kicks;   // Total auctions
    uint256[] public active;  // Array of active auction ids

    struct Sale {
        uint256 pos;  // Index in active array
        uint256 tab;  // Dai to raise       [rad]
        uint256 lot;  // collateral to sell [wad]
        address usr;  // Liquidated CDP
        uint96  tic;  // Auction start time
        uint256 top;  // Starting price     [ray]
    }
    mapping(uint256 => Sale) public sales;

    uint256 internal locked;

    // Levels for circuit breaker
    // 0: no breaker
    // 1: no new kick()
    // 2: no new kick() or redo()
    // 3: no new kick(), redo(), or take()
    uint256 public stopped = 0;

    // --- Events ---
    event Rely(address indexed usr);
    event Deny(address indexed usr);

    event File(bytes32 indexed what, uint256 data);
    event File(bytes32 indexed what, address data);

    event Kick(
        uint256 indexed id,
        uint256 top,
        uint256 tab,
        uint256 lot,
        address indexed usr,
        address indexed kpr,
        uint256 coin
    );
    event Take(
        uint256 indexed id,
        uint256 max,
        uint256 price,
        uint256 owe,
        uint256 tab,
        uint256 lot,
        address indexed usr
    );
    event Redo(
        uint256 indexed id,
        uint256 top,
        uint256 tab,
        uint256 lot,
        address indexed usr,
        address indexed kpr,
        uint256 coin
    );

    event Yank(uint256 id);

    // --- Init ---
    constructor(address vat_, address spotter_, address dog_, bytes32 ilk_) public {
        vat     = VatLike(vat_);
        spotter = SpotterLike(spotter_);
        dog     = DogLike(dog_);
        ilk     = ilk_;
        buf     = RAY;
        wards[msg.sender] = 1;
        emit Rely(msg.sender);
    }

    // --- Synchronization ---
    modifier lock {
        require(locked == 0, "Clipper/system-locked");
        locked = 1;
        _;
        locked = 0;
    }

    modifier isStopped(uint256 level) {
        require(stopped < level, "Clipper/stopped-incorrect");
        _;
    }

    // --- Administration ---
    function file(bytes32 what, uint256 data) external auth lock {
        if      (what == "buf")         buf = data;
        else if (what == "tail")       tail = data;           // Time elapsed before auction reset
        else if (what == "cusp")       cusp = data;           // Percentage drop before auction reset
        else if (what == "chip")       chip = uint64(data);   // Percentage of tab to incentivize (max: 2^64 - 1 => 18.xxx WAD = 18xx%)
        else if (what == "tip")         tip = uint192(data);  // Flat fee to incentivize keepers (max: 2^192 - 1 => 6.277T RAD)
        else if (what == "stopped") stopped = data;           // Set breaker (0, 1, 2, or 3)
        else revert("Clipper/file-unrecognized-param");
        emit File(what, data);
    }
    function file(bytes32 what, address data) external auth lock {
        if (what == "spotter") spotter = SpotterLike(data);
        else if (what == "dog")    dog = DogLike(data);
        else if (what == "vow")    vow = data;
        else if (what == "calc")  calc = AbacusLike(data);
        else revert("Clipper/file-unrecognized-param");
        emit File(what, data);
    }

    // --- Math ---
    uint256 constant BLN = 10 **  9;
    uint256 constant WAD = 10 ** 18;
    uint256 constant RAY = 10 ** 27;

    function min(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = x <= y ? x : y;
    }
    function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x + y) >= x);
    }
    function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x - y) <= x);
    }
    function mul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require(y == 0 || (z = x * y) / y == x);
    }
    function wmul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = mul(x, y) / WAD;
    }
    function rmul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = mul(x, y) / RAY;
    }
    function rdiv(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = mul(x, RAY) / y;
    }

    // --- Auction ---

    // get the price directly from the OSM
    // Could get this from rmul(Vat.ilks(ilk).spot, Spotter.mat()) instead, but
    // if mat has changed since the last poke, the resulting value will be
    // incorrect.
    function getFeedPrice() internal returns (uint256 feedPrice) {
        (PipLike pip, ) = spotter.ilks(ilk);
        (bytes32 val, bool has) = pip.peek();
        require(has, "Clipper/invalid-price");
        feedPrice = rdiv(mul(uint256(val), BLN), spotter.par());
    }

    // start an auction
    // note: trusts the caller to transfer collateral to the contract
    // The starting price `top` is obtained as follows:
    //
    //     top = val * buf / par
    //
    // Where `val` is the collateral's unitary value in USD, `buf` is a
    // multiplicative factor to increase the starting price, and `par` is a
    // reference per DAI.
    function kick(
        uint256 tab,  // Debt                   [rad]
        uint256 lot,  // Collateral             [wad]
        address usr,  // Address that will receive any leftover collateral
        address kpr   // Address that will receive incentives
    ) external auth lock isStopped(1) returns (uint256 id) {
        // Input validation
        require(tab  >          0, "Clipper/zero-tab");
        require(lot  >          0, "Clipper/zero-lot");
        require(usr != address(0), "Clipper/zero-usr");
        id = ++kicks;
        require(id   >          0, "Clipper/overflow");

        active.push(id);

        sales[id].pos = active.length - 1;

        sales[id].tab = tab;
        sales[id].lot = lot;
        sales[id].usr = usr;
        sales[id].tic = uint96(block.timestamp);

        uint256 top;
        top = rmul(getFeedPrice(), buf);
        require(top > 0, "Clipper/zero-top-price");
        sales[id].top = top;

        // incentive to kick auction
        uint256 _tip  = tip;
        uint256 _chip = chip;
        uint256 coin;
        if (_tip > 0 || _chip > 0) {
            coin = add(_tip, wmul(tab, _chip));
            vat.suck(vow, kpr, coin);
        }

        emit Kick(id, top, tab, lot, usr, kpr, coin);
    }

    // Reset an auction
    // See `kick` above for an explanation of the computation of `top`.
    function redo(
        uint256 id,  // id of the auction to reset
        address kpr  // Address that will receive incentives
    ) external lock isStopped(2) {
        // Read auction data
        address usr = sales[id].usr;
        uint96  tic = sales[id].tic;
        uint256 top = sales[id].top;

        require(usr != address(0), "Clipper/not-running-auction");

        // Check that auction needs reset
        // and compute current price [ray]
        (bool done,) = status(tic, top);
        require(done, "Clipper/cannot-reset");

        uint256 tab   = sales[id].tab;
        uint256 lot   = sales[id].lot;
        sales[id].tic = uint96(block.timestamp);

        uint256 feedPrice = getFeedPrice();
        top = rmul(feedPrice, buf);
        require(top > 0, "Clipper/zero-top-price");
        sales[id].top = top;

        // incentive to redo auction
        uint256 _tip  = tip;
        uint256 _chip = chip;
        uint256 coin;
        if (_tip > 0 || _chip > 0) {
            uint256 _chost = chost;
            if (tab >= _chost && mul(lot, feedPrice) >= _chost) {
                coin = add(_tip, wmul(tab, _chip));
                vat.suck(vow, kpr, coin);
            }
        }

        emit Redo(id, top, tab, lot, usr, kpr, coin);
    }

    // Buy up to `amt` of collateral from the auction indexed by `id`.
    // 
    // Auctions will not collect more DAI than their assigned DAI target,`tab`;
    // thus, if `amt` would cost more DAI than `tab` at the current price, the
    // amount of collateral purchased will instead be just enough to collect `tab` DAI.
    //
    // To avoid partial purchases resulting in very small leftover auctions that will
    // never be cleared, any partial purchase must leave at least `Clipper.chost`
    // remaining DAI target. `chost` is an asynchronously updated value equal to
    // (Vat.dust * Dog.chop(ilk) / WAD) where the values are understood to be determined
    // by whatever they were when Clipper.upchost() was last called. Purchase amounts
    // will be minimally decreased when necessary to respect this limit; i.e., if the
    // specified `amt` would leave `tab < chost` but `tab > 0`, the amount actually
    // purchased will be such that `tab == chost`.
    //
    // If `tab <= chost`, partial purchases are no longer possible; that is, the remaining
    // collateral can only be purchased entirely, or not at all.
    function take(
        uint256 id,           // Auction id
        uint256 amt,          // Upper limit on amount of collateral to buy  [wad]
        uint256 max,          // Maximum acceptable price (DAI / collateral) [ray]
        address who,          // Receiver of collateral and external call address
        bytes calldata data   // Data to pass in external call; if length 0, no call is done
    ) external lock isStopped(3) {

        address usr = sales[id].usr;
        uint96  tic = sales[id].tic;

        require(usr != address(0), "Clipper/not-running-auction");

        uint256 price;
        {
            bool done;
            (done, price) = status(tic, sales[id].top);

            // Check that auction doesn't need reset
            require(!done, "Clipper/needs-reset");
        }

        // Ensure price is acceptable to buyer
        require(max >= price, "Clipper/too-expensive");

        uint256 lot = sales[id].lot;
        uint256 tab = sales[id].tab;
        uint256 owe;

        {
            // Purchase as much as possible, up to amt
            uint256 slice = min(lot, amt);  // slice <= lot

            // DAI needed to buy a slice of this sale
            owe = mul(slice, price);

            // Don't collect more than tab of DAI
            if (owe > tab) {
                // Total debt will be paid
                owe = tab;                  // owe' <= owe
                // Adjust slice
                slice = owe / price;        // slice' = owe' / price <= owe / price == slice <= lot
            } else if (owe < tab && slice < lot) {
                // If slice == lot => auction completed => dust doesn't matter
                uint256 _chost = chost;
                if (tab - owe < _chost) {    // safe as owe < tab
                    // If tab <= chost, buyers have to take the entire lot.
                    require(tab > _chost, "Clipper/no-partial-purchase");
                    // Adjust amount to pay
                    owe = tab - _chost;      // owe' <= owe
                    // Adjust slice
                    slice = owe / price;     // slice' = owe' / price < owe / price == slice < lot
                }
            }

            // Calculate remaining tab after operation
            tab = tab - owe;  // safe since owe <= tab
            // Calculate remaining lot after operation
            lot = lot - slice;

            // Send collateral to who
            vat.flux(ilk, address(this), who, slice);

            // Do external call (if data is defined) but to be
            // extremely careful we don't allow to do it to the two
            // contracts which the Clipper needs to be authorized
            DogLike dog_ = dog;
            if (data.length > 0 && who != address(vat) && who != address(dog_)) {
                ClipperCallee(who).clipperCall(msg.sender, owe, slice, data);
            }

            // Get DAI from caller
            vat.move(msg.sender, vow, owe);

            // Removes Dai out for liquidation from accumulator
            dog_.digs(ilk, lot == 0 ? tab + owe : owe);
        }

        if (lot == 0) {
            _remove(id);
        } else if (tab == 0) {
            vat.flux(ilk, address(this), usr, lot);
            _remove(id);
        } else {
            sales[id].tab = tab;
            sales[id].lot = lot;
        }

        emit Take(id, max, price, owe, tab, lot, usr);
    }

    function _remove(uint256 id) internal {
        uint256 _move    = active[active.length - 1];
        if (id != _move) {
            uint256 _index   = sales[id].pos;
            active[_index]   = _move;
            sales[_move].pos = _index;
        }
        active.pop();
        delete sales[id];
    }

    // The number of active auctions
    function count() external view returns (uint256) {
        return active.length;
    }

    // Return the entire array of active auctions
    function list() external view returns (uint256[] memory) {
        return active;
    }

    // Externally returns boolean for if an auction needs a redo and also the current price
    function getStatus(uint256 id) external view returns (bool needsRedo, uint256 price, uint256 lot, uint256 tab) {
        // Read auction data
        address usr = sales[id].usr;
        uint96  tic = sales[id].tic;

        bool done;
        (done, price) = status(tic, sales[id].top);

        needsRedo = usr != address(0) && done;
        lot = sales[id].lot;
        tab = sales[id].tab;
    }

    // Internally returns boolean for if an auction needs a redo
    function status(uint96 tic, uint256 top) internal view returns (bool done, uint256 price) {
        price = calc.price(top, sub(block.timestamp, tic));
        done  = (sub(block.timestamp, tic) > tail || rdiv(price, top) < cusp);
    }

    // Public function to update the cached dust*chop value.
    function upchost() external {
        (,,,, uint256 _dust) = VatLike(vat).ilks(ilk);
        chost = wmul(_dust, dog.chop(ilk));
    }

    // Cancel an auction during ES or via governance action.
    function yank(uint256 id) external auth lock {
        require(sales[id].usr != address(0), "Clipper/not-running-auction");
        dog.digs(ilk, sales[id].tab);
        vat.flux(ilk, address(this), msg.sender, sales[id].lot);
        _remove(id);
        emit Yank(id);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"vat_","type":"address"},{"internalType":"address","name":"spotter_","type":"address"},{"internalType":"address","name":"dog_","type":"address"},{"internalType":"bytes32","name":"ilk_","type":"bytes32"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Deny","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"what","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"data","type":"uint256"}],"name":"File","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"what","type":"bytes32"},{"indexed":false,"internalType":"address","name":"data","type":"address"}],"name":"File","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"top","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"tab","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lot","type":"uint256"},{"indexed":true,"internalType":"address","name":"usr","type":"address"},{"indexed":true,"internalType":"address","name":"kpr","type":"address"},{"indexed":false,"internalType":"uint256","name":"coin","type":"uint256"}],"name":"Kick","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"top","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"tab","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lot","type":"uint256"},{"indexed":true,"internalType":"address","name":"usr","type":"address"},{"indexed":true,"internalType":"address","name":"kpr","type":"address"},{"indexed":false,"internalType":"uint256","name":"coin","type":"uint256"}],"name":"Redo","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Rely","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"max","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"price","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"owe","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"tab","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lot","type":"uint256"},{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Take","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"Yank","type":"event"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"active","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"buf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"calc","outputs":[{"internalType":"contract AbacusLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"chip","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"chost","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"count","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cusp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"dog","outputs":[{"internalType":"contract DogLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"uint256","name":"data","type":"uint256"}],"name":"file","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"address","name":"data","type":"address"}],"name":"file","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"getStatus","outputs":[{"internalType":"bool","name":"needsRedo","type":"bool"},{"internalType":"uint256","name":"price","type":"uint256"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"uint256","name":"tab","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ilk","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tab","type":"uint256"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"address","name":"usr","type":"address"},{"internalType":"address","name":"kpr","type":"address"}],"name":"kick","outputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"kicks","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"list","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"address","name":"kpr","type":"address"}],"name":"redo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"sales","outputs":[{"internalType":"uint256","name":"pos","type":"uint256"},{"internalType":"uint256","name":"tab","type":"uint256"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"address","name":"usr","type":"address"},{"internalType":"uint96","name":"tic","type":"uint96"},{"internalType":"uint256","name":"top","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"spotter","outputs":[{"internalType":"contract SpotterLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stopped","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tail","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"amt","type":"uint256"},{"internalType":"uint256","name":"max","type":"uint256"},{"internalType":"address","name":"who","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"take","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"tip","outputs":[{"internalType":"uint192","name":"","type":"uint192"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"upchost","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"vat","outputs":[{"internalType":"contract VatLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"vow","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"wards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"yank","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60c06040526000600e5534801561001557600080fd5b50604051613c07380380613c078339818101604052608081101561003857600080fd5b81019080805190602001909291908051906020019092919080519060200190929190805190602001909291905050508373ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff1660601b8152505082600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080608081815250506b033b2e3c9fd0803ce800000060058190555060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a25050505060805160a05160601c6139cb61023c600039806108eb5280610e0552806113295280611a395280611b5d5280611cb15280611e605280612636528061324e5250806109275280610a295280610d785280610e415280611a755280611db65280611e9c52806129e952806136a752506139cb6000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c806375f12b2111610104578063b61500e4116100a2578063c5ce281e11610071578063c5ce281e14610802578063cfdd330214610820578063d4e8be831461083e578063d843416d1461088c576101cf565b8063b61500e414610730578063ba2cdc7514610758578063bf353dbb14610776578063c3b3ad7f146107ce576101cf565b8063898eb267116100de578063898eb267146105a357806396f1b6be1461062f5780639c52a7f114610663578063b5f522f7146106a7576101cf565b806375f12b211461048c5780638033d581146104aa57806381a794cb146104ec576101cf565b806329ae81141161017157806349ed59311161014b57806349ed59311461039d5780635c622a0e146103bb578063626cb3c51461041457806365fae35e14610448576101cf565b806329ae8114146102fd5780632e77468d1461033557806336569e7714610369576101cf565b806313d8c840116101ad57806313d8c8401461025b578063152325151461027957806326e027f1146102975780632755cd2d146102c5576101cf565b806306661abd146101d45780630cbb5862146101f25780630f560cd7146101fc575b600080fd5b6101dc6108da565b6040518082815260200191505060405180910390f35b6101fa6108e7565b005b610204610ac7565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561024757808201518184015260208101905061022c565b505050509050019250505060405180910390f35b610263610b1f565b6040518082815260200191505060405180910390f35b610281610b25565b6040518082815260200191505060405180910390f35b6102c3600480360360208110156102ad57600080fd5b8101908080359060200190929190505050610b2b565b005b6102cd610f53565b604051808277ffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103336004803603604081101561031357600080fd5b810190808035906020019092919080359060200190929190505050610f7b565b005b61033d611301565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610371611327565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a561134b565b6040518082815260200191505060405180910390f35b6103e7600480360360208110156103d157600080fd5b8101908080359060200190929190505050611351565b60405180851515815260200184815260200183815260200182815260200194505050505060405180910390f35b61041c611467565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61048a6004803603602081101561045e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061148d565b005b6104946115cb565b6040518082815260200191505060405180910390f35b6104d6600480360360208110156104c057600080fd5b81019080803590602001909291905050506115d1565b6040518082815260200191505060405180910390f35b6105a1600480360360a081101561050257600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561055d57600080fd5b82018360208201111561056f57600080fd5b8035906020019184600183028401116401000000008311171561059157600080fd5b90919293919293905050506115f2565b005b610619600480360360808110156105b957600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612019565b6040518082815260200191505060405180910390f35b6106376127b1565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106a56004803603602081101561067957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506127d7565b005b6106d3600480360360208110156106bd57600080fd5b8101908080359060200190929190505050612915565b604051808781526020018681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff168152602001828152602001965050505050505060405180910390f35b610738612989565b604051808267ffffffffffffffff16815260200191505060405180910390f35b6107606129a3565b6040518082815260200191505060405180910390f35b6107b86004803603602081101561078c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506129a9565b6040518082815260200191505060405180910390f35b6107d66129c1565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080a6129e7565b6040518082815260200191505060405180910390f35b610828612a0b565b6040518082815260200191505060405180910390f35b61088a6004803603604081101561085457600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a11565b005b6108d8600480360360408110156108a257600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612dc8565b005b6000600b80549050905090565b60007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663d9638d367f00000000000000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b81526004018082815260200191505060a060405180830381600087803b15801561097c57600080fd5b505af1158015610990573d6000803e3d6000fd5b505050506040513d60a08110156109a657600080fd5b810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190505050945050505050610abe81600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d79265387f00000000000000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015610a7e57600080fd5b505af1158015610a92573d6000803e3d6000fd5b505050506040513d6020811015610aa857600080fd5b81019080805190602001909291905050506133cd565b60098190555050565b6060600b805480602002602001604051908101604052809291908181526020018280548015610b1557602002820191906000526020600020905b815481526020019060010190808311610b01575b5050505050905090565b60065481565b60055481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610bdf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414610c57576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600073ffffffffffffffffffffffffffffffffffffffff16600c600083815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c87193f47f0000000000000000000000000000000000000000000000000000000000000000600c6000858152602001908152602001600020600101546040518363ffffffff1660e01b81526004018083815260200182815260200192505050600060405180830381600087803b158015610deb57600080fd5b505af1158015610dff573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16636111be2e7f00000000000000000000000000000000000000000000000000000000000000003033600c6000878152602001908152602001600020600201546040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015610ef057600080fd5b505af1158015610f04573d6000803e3d6000fd5b50505050610f11816133f2565b7f2c5d2826eb5903b8fc201cf48094b858f42f61c7eaac9aaf43ebed490138144e816040518082815260200191505060405180910390a16000600d8190555050565b60088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461102f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d54146110a7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d819055507f62756600000000000000000000000000000000000000000000000000000000008214156110e357806005819055506112bd565b7f7461696c0000000000000000000000000000000000000000000000000000000082141561111757806006819055506112bc565b7f637573700000000000000000000000000000000000000000000000000000000082141561114b57806007819055506112bb565b7f63686970000000000000000000000000000000000000000000000000000000008214156111a15780600860006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506112ba565b7f746970000000000000000000000000000000000000000000000000000000000082141561121657806008806101000a81548177ffffffffffffffffffffffffffffffffffffffffffffffff021916908377ffffffffffffffffffffffffffffffffffffffffffffffff1602179055506112b9565b7f73746f707065640000000000000000000000000000000000000000000000000082141561124a5780600e819055506112b8565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f436c69707065722f66696c652d756e7265636f676e697a65642d706172616d0081525060200191505060405180910390fd5b5b5b5b5b5b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c7826040518082815260200191505060405180910390a26000600d819055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b60075481565b6000806000806000600c600087815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c600088815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff16905060006113e782600c60008b815260200190815260200160002060040154613512565b8097508192505050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156114295750805b9650600c6000898152602001908152602001600020600201549450600c60008981526020019081526020016000206001015493505050509193509193565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611541576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b600e5481565b600b81815481106115de57fe5b906000526020600020016000915090505481565b6000600d541461166a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600380600e54106116eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000600c600089815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c60008a815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156117fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b60008061181f83600c60008e815260200190815260200160002060040154613512565b8093508192505050801561189b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f436c69707065722f6e656564732d72657365740000000000000000000000000081525060200191505060405180910390fd5b5080881015611912576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f746f6f2d657870656e73697665000000000000000000000081525060200191505060405180910390fd5b6000600c60008c81526020019081526020016000206002015490506000600c60008d8152602001908152602001600020600101549050600080611955848e61361e565b90506119618186613638565b91508282111561197f5782915084828161197757fe5b049050611a2d565b828210801561198d57508381105b15611a2c5760006009549050808385031015611a2a57808411611a18576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f2d7061727469616c2d7075726368617365000000000081525060200191505060405180910390fd5b8084039250858381611a2657fe5b0491505b505b5b818303925080840393507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16636111be2e7f0000000000000000000000000000000000000000000000000000000000000000308e856040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015611b0e57600080fd5b505af1158015611b22573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008b8b9050118015611bac57507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614155b8015611be457508073ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614155b15611caf578b73ffffffffffffffffffffffffffffffffffffffff16638452c10e3385858f8f6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015611c9657600080fd5b505af1158015611caa573d6000803e3d6000fd5b505050505b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663bb35783b33600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16866040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611d8057600080fd5b505af1158015611d94573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff1663c87193f47f000000000000000000000000000000000000000000000000000000000000000060008814611de35785611de7565b8587015b6040518363ffffffff1660e01b81526004018083815260200182815260200192505050600060405180830381600087803b158015611e2457600080fd5b505af1158015611e38573d6000803e3d6000fd5b5050505050506000831415611e5557611e508d6133f2565b611f93565b6000821415611f5b577f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16636111be2e7f00000000000000000000000000000000000000000000000000000000000000003089876040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015611f3557600080fd5b505af1158015611f49573d6000803e3d6000fd5b50505050611f568d6133f2565b611f92565b81600c60008f81526020019081526020016000206001018190555082600c60008f8152602001908152602001600020600201819055505b5b8573ffffffffffffffffffffffffffffffffffffffff168d7f05e309fd6ce72f2ab888a20056bb4210df08daed86f21f95053deb19964d86b18d87858789604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390a3505050505050506000600d81905550505050505050565b600060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146120cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414612147576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600180600e54106121c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000861161223e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d7461620000000000000000000000000000000081525060200191505060405180910390fd5b600085116122b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d6c6f740000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415612357576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d7573720000000000000000000000000000000081525060200191505060405180910390fd5b600a600081546001019190508190559150600082116123de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f6f766572666c6f770000000000000000000000000000000081525060200191505060405180910390fd5b600b8290806001815401808255809150506001900390600052602060002001600090919091909150556001600b8054905003600c60008481526020019081526020016000206000018190555085600c60008481526020019081526020016000206001018190555084600c60008481526020019081526020016000206002018190555083600c600084815260200190815260200160002060030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555042600c600084815260200190815260200160002060030160146101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550600061250f612507613664565b60055461390f565b905060008111612587576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f7a65726f2d746f702d70726963650000000000000000000081525060200191505060405180910390fd5b80600c600085815260200190815260200160002060040181905550600060088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1677ffffffffffffffffffffffffffffffffffffffffffffffff1690506000600860009054906101000a900467ffffffffffffffff1667ffffffffffffffff16905060008083118061261a5750600082115b1561271e576126328361262d8c856133cd565b613938565b90507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663f24e23eb600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1689846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561270557600080fd5b505af1158015612719573d6000803e3d6000fd5b505050505b8673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff16877f7c5bfdc0a5e8192f6cd4972f382cec69116862fb62e6abff8003874c58e064b8878e8e876040518085815260200184815260200183815260200182815260200194505050505060405180910390a450505050506000600d81905550949350505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461288b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b600c6020528060005260406000206000915090508060000154908060010154908060020154908060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060030160149054906101000a90046bffffffffffffffffffffffff16908060040154905086565b600860009054906101000a900467ffffffffffffffff1681565b60095481565b60006020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b600a5481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414612ac5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414612b3d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d819055507f73706f7474657200000000000000000000000000000000000000000000000000821415612bb35780600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6e565b7f646f670000000000000000000000000000000000000000000000000000000000821415612c215780600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6d565b7f766f770000000000000000000000000000000000000000000000000000000000821415612c8f5780600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6c565b7f63616c6300000000000000000000000000000000000000000000000000000000821415612cfd5780600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6b565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f436c69707065722f66696c652d756e7265636f676e697a65642d706172616d0081525060200191505060405180910390fd5b5b5b5b817f8fef588b5fc1afbf5b2f06c1a435d513f208da2e6704c3d8f0e0ec91167066ba82604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a26000600d819055505050565b6000600d5414612e40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600280600e5410612ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000600c600085815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c600086815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff1690506000600c6000878152602001908152602001600020600401549050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612fed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b6000612ff98383613512565b5090508061306f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436c69707065722f63616e6e6f742d726573657400000000000000000000000081525060200191505060405180910390fd5b6000600c60008981526020019081526020016000206001015490506000600c60008a815260200190815260200160002060020154905042600c60008b815260200190815260200160002060030160146101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555060006130f4613664565b90506131028160055461390f565b94506000851161317a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f7a65726f2d746f702d70726963650000000000000000000081525060200191505060405180910390fd5b84600c60008c815260200190815260200160002060040181905550600060088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1677ffffffffffffffffffffffffffffffffffffffffffffffff1690506000600860009054906101000a900467ffffffffffffffff1667ffffffffffffffff16905060008083118061320d5750600082115b15613338576000600954905080871015801561323257508061322f8787613638565b10155b156133365761324a8461324589866133cd565b613938565b91507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663f24e23eb600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168f856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561331d57600080fd5b505af1158015613331573d6000803e3d6000fd5b505050505b505b8b73ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff168e7f275de7ecdd375b5e8049319f8b350686131c219dd4dc450a08e9cf83b03c865f8b8a8a876040518085815260200184815260200183815260200182815260200194505050505060405180910390a450505050505050505050506000600d819055505050565b6000670de0b6b3a76400006133e28484613638565b816133e957fe5b04905092915050565b6000600b6001600b80549050038154811061340957fe5b90600052602060002001549050808214613471576000600c600084815260200190815260200160002060000154905081600b828154811061344657fe5b906000526020600020018190555080600c600084815260200190815260200160002060000181905550505b600b80548061347c57fe5b60019003818190600052602060002001600090559055600c6000838152602001908152602001600020600080820160009055600182016000905560028201600090556003820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556003820160146101000a8154906bffffffffffffffffffffffff0219169055600482016000905550505050565b600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663487a23958461356c42886bffffffffffffffffffffffff16613952565b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156135a757600080fd5b505afa1580156135bb573d6000803e3d6000fd5b505050506040513d60208110156135d157600080fd5b810190808051906020019092919050505090506006546135ff42866bffffffffffffffffffffffff16613952565b11806136155750600754613613828561396c565b105b91509250929050565b60008183111561362e5781613630565b825b905092915050565b600080821480613655575082828385029250828161365257fe5b04145b61365e57600080fd5b92915050565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d9638d367f00000000000000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b8152600401808281526020019150506040805180830381600087803b1580156136fb57600080fd5b505af115801561370f573d6000803e3d6000fd5b505050506040513d604081101561372557600080fd5b8101908080519060200190929190805190602001909291905050505090506000808273ffffffffffffffffffffffffffffffffffffffff166359e02dd76040518163ffffffff1660e01b81526004016040805180830381600087803b15801561378d57600080fd5b505af11580156137a1573d6000803e3d6000fd5b505050506040513d60408110156137b757600080fd5b8101908080519060200190929190805190602001909291905050509150915080613849576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f696e76616c69642d7072696365000000000000000000000081525060200191505060405180910390fd5b61390761385d8360001c633b9aca00613638565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663495d32cb6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156138c757600080fd5b505af11580156138db573d6000803e3d6000fd5b505050506040513d60208110156138f157600080fd5b810190808051906020019092919050505061396c565b935050505090565b60006b033b2e3c9fd0803ce80000006139288484613638565b8161392f57fe5b04905092915050565b600082828401915081101561394c57600080fd5b92915050565b600082828403915081111561396657600080fd5b92915050565b600081613985846b033b2e3c9fd0803ce8000000613638565b8161398c57fe5b0490509291505056fea26469706673582212202308b84e56a54cac65688adc6c5c48e47623dd66554942603cbe3515cdbe158764736f6c634300060c003300000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b00000000000000000000000065c79fcb50ca1594b025960e539ed7a9a6d434a3000000000000000000000000135954d155898d42c90d2a57824c690e0c7bef1b4241542d41000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106101cf5760003560e01c806375f12b2111610104578063b61500e4116100a2578063c5ce281e11610071578063c5ce281e14610802578063cfdd330214610820578063d4e8be831461083e578063d843416d1461088c576101cf565b8063b61500e414610730578063ba2cdc7514610758578063bf353dbb14610776578063c3b3ad7f146107ce576101cf565b8063898eb267116100de578063898eb267146105a357806396f1b6be1461062f5780639c52a7f114610663578063b5f522f7146106a7576101cf565b806375f12b211461048c5780638033d581146104aa57806381a794cb146104ec576101cf565b806329ae81141161017157806349ed59311161014b57806349ed59311461039d5780635c622a0e146103bb578063626cb3c51461041457806365fae35e14610448576101cf565b806329ae8114146102fd5780632e77468d1461033557806336569e7714610369576101cf565b806313d8c840116101ad57806313d8c8401461025b578063152325151461027957806326e027f1146102975780632755cd2d146102c5576101cf565b806306661abd146101d45780630cbb5862146101f25780630f560cd7146101fc575b600080fd5b6101dc6108da565b6040518082815260200191505060405180910390f35b6101fa6108e7565b005b610204610ac7565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561024757808201518184015260208101905061022c565b505050509050019250505060405180910390f35b610263610b1f565b6040518082815260200191505060405180910390f35b610281610b25565b6040518082815260200191505060405180910390f35b6102c3600480360360208110156102ad57600080fd5b8101908080359060200190929190505050610b2b565b005b6102cd610f53565b604051808277ffffffffffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103336004803603604081101561031357600080fd5b810190808035906020019092919080359060200190929190505050610f7b565b005b61033d611301565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610371611327565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a561134b565b6040518082815260200191505060405180910390f35b6103e7600480360360208110156103d157600080fd5b8101908080359060200190929190505050611351565b60405180851515815260200184815260200183815260200182815260200194505050505060405180910390f35b61041c611467565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61048a6004803603602081101561045e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061148d565b005b6104946115cb565b6040518082815260200191505060405180910390f35b6104d6600480360360208110156104c057600080fd5b81019080803590602001909291905050506115d1565b6040518082815260200191505060405180910390f35b6105a1600480360360a081101561050257600080fd5b81019080803590602001909291908035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561055d57600080fd5b82018360208201111561056f57600080fd5b8035906020019184600183028401116401000000008311171561059157600080fd5b90919293919293905050506115f2565b005b610619600480360360808110156105b957600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612019565b6040518082815260200191505060405180910390f35b6106376127b1565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6106a56004803603602081101561067957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506127d7565b005b6106d3600480360360208110156106bd57600080fd5b8101908080359060200190929190505050612915565b604051808781526020018681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff168152602001836bffffffffffffffffffffffff168152602001828152602001965050505050505060405180910390f35b610738612989565b604051808267ffffffffffffffff16815260200191505060405180910390f35b6107606129a3565b6040518082815260200191505060405180910390f35b6107b86004803603602081101561078c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506129a9565b6040518082815260200191505060405180910390f35b6107d66129c1565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61080a6129e7565b6040518082815260200191505060405180910390f35b610828612a0b565b6040518082815260200191505060405180910390f35b61088a6004803603604081101561085457600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a11565b005b6108d8600480360360408110156108a257600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612dc8565b005b6000600b80549050905090565b60007f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663d9638d367f4241542d410000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b81526004018082815260200191505060a060405180830381600087803b15801561097c57600080fd5b505af1158015610990573d6000803e3d6000fd5b505050506040513d60a08110156109a657600080fd5b810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190505050945050505050610abe81600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d79265387f4241542d410000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015610a7e57600080fd5b505af1158015610a92573d6000803e3d6000fd5b505050506040513d6020811015610aa857600080fd5b81019080805190602001909291905050506133cd565b60098190555050565b6060600b805480602002602001604051908101604052809291908181526020018280548015610b1557602002820191906000526020600020905b815481526020019060010190808311610b01575b5050505050905090565b60065481565b60055481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610bdf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414610c57576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600073ffffffffffffffffffffffffffffffffffffffff16600c600083815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c87193f47f4241542d41000000000000000000000000000000000000000000000000000000600c6000858152602001908152602001600020600101546040518363ffffffff1660e01b81526004018083815260200182815260200192505050600060405180830381600087803b158015610deb57600080fd5b505af1158015610dff573d6000803e3d6000fd5b505050507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff16636111be2e7f4241542d410000000000000000000000000000000000000000000000000000003033600c6000878152602001908152602001600020600201546040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015610ef057600080fd5b505af1158015610f04573d6000803e3d6000fd5b50505050610f11816133f2565b7f2c5d2826eb5903b8fc201cf48094b858f42f61c7eaac9aaf43ebed490138144e816040518082815260200191505060405180910390a16000600d8190555050565b60088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461102f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d54146110a7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d819055507f62756600000000000000000000000000000000000000000000000000000000008214156110e357806005819055506112bd565b7f7461696c0000000000000000000000000000000000000000000000000000000082141561111757806006819055506112bc565b7f637573700000000000000000000000000000000000000000000000000000000082141561114b57806007819055506112bb565b7f63686970000000000000000000000000000000000000000000000000000000008214156111a15780600860006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506112ba565b7f746970000000000000000000000000000000000000000000000000000000000082141561121657806008806101000a81548177ffffffffffffffffffffffffffffffffffffffffffffffff021916908377ffffffffffffffffffffffffffffffffffffffffffffffff1602179055506112b9565b7f73746f707065640000000000000000000000000000000000000000000000000082141561124a5780600e819055506112b8565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f436c69707065722f66696c652d756e7265636f676e697a65642d706172616d0081525060200191505060405180910390fd5b5b5b5b5b5b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c7826040518082815260200191505060405180910390a26000600d819055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b81565b60075481565b6000806000806000600c600087815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c600088815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff16905060006113e782600c60008b815260200190815260200160002060040154613512565b8097508192505050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156114295750805b9650600c6000898152602001908152602001600020600201549450600c60008981526020019081526020016000206001015493505050509193509193565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611541576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b600e5481565b600b81815481106115de57fe5b906000526020600020016000915090505481565b6000600d541461166a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600380600e54106116eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000600c600089815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c60008a815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156117fc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b60008061181f83600c60008e815260200190815260200160002060040154613512565b8093508192505050801561189b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f436c69707065722f6e656564732d72657365740000000000000000000000000081525060200191505060405180910390fd5b5080881015611912576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f746f6f2d657870656e73697665000000000000000000000081525060200191505060405180910390fd5b6000600c60008c81526020019081526020016000206002015490506000600c60008d8152602001908152602001600020600101549050600080611955848e61361e565b90506119618186613638565b91508282111561197f5782915084828161197757fe5b049050611a2d565b828210801561198d57508381105b15611a2c5760006009549050808385031015611a2a57808411611a18576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f2d7061727469616c2d7075726368617365000000000081525060200191505060405180910390fd5b8084039250858381611a2657fe5b0491505b505b5b818303925080840393507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff16636111be2e7f4241542d41000000000000000000000000000000000000000000000000000000308e856040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015611b0e57600080fd5b505af1158015611b22573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008b8b9050118015611bac57507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614155b8015611be457508073ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614155b15611caf578b73ffffffffffffffffffffffffffffffffffffffff16638452c10e3385858f8f6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015611c9657600080fd5b505af1158015611caa573d6000803e3d6000fd5b505050505b7f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663bb35783b33600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16866040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611d8057600080fd5b505af1158015611d94573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff1663c87193f47f4241542d4100000000000000000000000000000000000000000000000000000060008814611de35785611de7565b8587015b6040518363ffffffff1660e01b81526004018083815260200182815260200192505050600060405180830381600087803b158015611e2457600080fd5b505af1158015611e38573d6000803e3d6000fd5b5050505050506000831415611e5557611e508d6133f2565b611f93565b6000821415611f5b577f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff16636111be2e7f4241542d410000000000000000000000000000000000000000000000000000003089876040518563ffffffff1660e01b8152600401808581526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001945050505050600060405180830381600087803b158015611f3557600080fd5b505af1158015611f49573d6000803e3d6000fd5b50505050611f568d6133f2565b611f92565b81600c60008f81526020019081526020016000206001018190555082600c60008f8152602001908152602001600020600201819055505b5b8573ffffffffffffffffffffffffffffffffffffffff168d7f05e309fd6ce72f2ab888a20056bb4210df08daed86f21f95053deb19964d86b18d87858789604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390a3505050505050506000600d81905550505050505050565b600060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146120cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414612147576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600180600e54106121c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000861161223e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d7461620000000000000000000000000000000081525060200191505060405180910390fd5b600085116122b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d6c6f740000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415612357576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f7a65726f2d7573720000000000000000000000000000000081525060200191505060405180910390fd5b600a600081546001019190508190559150600082116123de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436c69707065722f6f766572666c6f770000000000000000000000000000000081525060200191505060405180910390fd5b600b8290806001815401808255809150506001900390600052602060002001600090919091909150556001600b8054905003600c60008481526020019081526020016000206000018190555085600c60008481526020019081526020016000206001018190555084600c60008481526020019081526020016000206002018190555083600c600084815260200190815260200160002060030160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555042600c600084815260200190815260200160002060030160146101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550600061250f612507613664565b60055461390f565b905060008111612587576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f7a65726f2d746f702d70726963650000000000000000000081525060200191505060405180910390fd5b80600c600085815260200190815260200160002060040181905550600060088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1677ffffffffffffffffffffffffffffffffffffffffffffffff1690506000600860009054906101000a900467ffffffffffffffff1667ffffffffffffffff16905060008083118061261a5750600082115b1561271e576126328361262d8c856133cd565b613938565b90507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663f24e23eb600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1689846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561270557600080fd5b505af1158015612719573d6000803e3d6000fd5b505050505b8673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff16877f7c5bfdc0a5e8192f6cd4972f382cec69116862fb62e6abff8003874c58e064b8878e8e876040518085815260200184815260200183815260200182815260200194505050505060405180910390a450505050506000600d81905550949350505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461288b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b600c6020528060005260406000206000915090508060000154908060010154908060020154908060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060030160149054906101000a90046bffffffffffffffffffffffff16908060040154905086565b600860009054906101000a900467ffffffffffffffff1681565b60095481565b60006020528060005260406000206000915090505481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b7f4241542d4100000000000000000000000000000000000000000000000000000081565b600a5481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414612ac5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b6000600d5414612b3d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d819055507f73706f7474657200000000000000000000000000000000000000000000000000821415612bb35780600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6e565b7f646f670000000000000000000000000000000000000000000000000000000000821415612c215780600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6d565b7f766f770000000000000000000000000000000000000000000000000000000000821415612c8f5780600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6c565b7f63616c6300000000000000000000000000000000000000000000000000000000821415612cfd5780600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550612d6b565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f436c69707065722f66696c652d756e7265636f676e697a65642d706172616d0081525060200191505060405180910390fd5b5b5b5b817f8fef588b5fc1afbf5b2f06c1a435d513f208da2e6704c3d8f0e0ec91167066ba82604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a26000600d819055505050565b6000600d5414612e40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f73797374656d2d6c6f636b6564000000000000000000000081525060200191505060405180910390fd5b6001600d81905550600280600e5410612ec1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f436c69707065722f73746f707065642d696e636f72726563740000000000000081525060200191505060405180910390fd5b6000600c600085815260200190815260200160002060030160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600c600086815260200190815260200160002060030160149054906101000a90046bffffffffffffffffffffffff1690506000600c6000878152602001908152602001600020600401549050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612fed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f436c69707065722f6e6f742d72756e6e696e672d61756374696f6e000000000081525060200191505060405180910390fd5b6000612ff98383613512565b5090508061306f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436c69707065722f63616e6e6f742d726573657400000000000000000000000081525060200191505060405180910390fd5b6000600c60008981526020019081526020016000206001015490506000600c60008a815260200190815260200160002060020154905042600c60008b815260200190815260200160002060030160146101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555060006130f4613664565b90506131028160055461390f565b94506000851161317a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f436c69707065722f7a65726f2d746f702d70726963650000000000000000000081525060200191505060405180910390fd5b84600c60008c815260200190815260200160002060040181905550600060088054906101000a900477ffffffffffffffffffffffffffffffffffffffffffffffff1677ffffffffffffffffffffffffffffffffffffffffffffffff1690506000600860009054906101000a900467ffffffffffffffff1667ffffffffffffffff16905060008083118061320d5750600082115b15613338576000600954905080871015801561323257508061322f8787613638565b10155b156133365761324a8461324589866133cd565b613938565b91507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663f24e23eb600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff168f856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561331d57600080fd5b505af1158015613331573d6000803e3d6000fd5b505050505b505b8b73ffffffffffffffffffffffffffffffffffffffff168a73ffffffffffffffffffffffffffffffffffffffff168e7f275de7ecdd375b5e8049319f8b350686131c219dd4dc450a08e9cf83b03c865f8b8a8a876040518085815260200184815260200183815260200182815260200194505050505060405180910390a450505050505050505050506000600d819055505050565b6000670de0b6b3a76400006133e28484613638565b816133e957fe5b04905092915050565b6000600b6001600b80549050038154811061340957fe5b90600052602060002001549050808214613471576000600c600084815260200190815260200160002060000154905081600b828154811061344657fe5b906000526020600020018190555080600c600084815260200190815260200160002060000181905550505b600b80548061347c57fe5b60019003818190600052602060002001600090559055600c6000838152602001908152602001600020600080820160009055600182016000905560028201600090556003820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556003820160146101000a8154906bffffffffffffffffffffffff0219169055600482016000905550505050565b600080600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663487a23958461356c42886bffffffffffffffffffffffff16613952565b6040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156135a757600080fd5b505afa1580156135bb573d6000803e3d6000fd5b505050506040513d60208110156135d157600080fd5b810190808051906020019092919050505090506006546135ff42866bffffffffffffffffffffffff16613952565b11806136155750600754613613828561396c565b105b91509250929050565b60008183111561362e5781613630565b825b905092915050565b600080821480613655575082828385029250828161365257fe5b04145b61365e57600080fd5b92915050565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d9638d367f4241542d410000000000000000000000000000000000000000000000000000006040518263ffffffff1660e01b8152600401808281526020019150506040805180830381600087803b1580156136fb57600080fd5b505af115801561370f573d6000803e3d6000fd5b505050506040513d604081101561372557600080fd5b8101908080519060200190929190805190602001909291905050505090506000808273ffffffffffffffffffffffffffffffffffffffff166359e02dd76040518163ffffffff1660e01b81526004016040805180830381600087803b15801561378d57600080fd5b505af11580156137a1573d6000803e3d6000fd5b505050506040513d60408110156137b757600080fd5b8101908080519060200190929190805190602001909291905050509150915080613849576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f436c69707065722f696e76616c69642d7072696365000000000000000000000081525060200191505060405180910390fd5b61390761385d8360001c633b9aca00613638565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663495d32cb6040518163ffffffff1660e01b8152600401602060405180830381600087803b1580156138c757600080fd5b505af11580156138db573d6000803e3d6000fd5b505050506040513d60208110156138f157600080fd5b810190808051906020019092919050505061396c565b935050505090565b60006b033b2e3c9fd0803ce80000006139288484613638565b8161392f57fe5b04905092915050565b600082828401915081101561394c57600080fd5b92915050565b600082828403915081111561396657600080fd5b92915050565b600081613985846b033b2e3c9fd0803ce8000000613638565b8161398c57fe5b0490509291505056fea26469706673582212202308b84e56a54cac65688adc6c5c48e47623dd66554942603cbe3515cdbe158764736f6c634300060c0033

00000000000000000000000035D1b3F3D7966A1DFe207aa4514C12a259A0492B00000000000000000000000065C79fcB50Ca1594B025960e539eD7A9a6D434A3000000000000000000000000135954d155898D42C90D2a57824C690e0c7BEf1B4241542d41000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : vat_ (address): 0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B
Arg [1] : spotter_ (address): 0x65C79fcB50Ca1594B025960e539eD7A9a6D434A3
Arg [2] : dog_ (address): 0x135954d155898D42C90D2a57824C690e0c7BEf1B
Arg [3] : ilk_ (bytes32): 0x4241542d41000000000000000000000000000000000000000000000000000000

-----Encoded View---------------
4 Constructor Arguments found :
Arg [0] : 00000000000000000000000035D1b3F3D7966A1DFe207aa4514C12a259A0492B
Arg [1] : 00000000000000000000000065C79fcB50Ca1594B025960e539eD7A9a6D434A3
Arg [2] : 000000000000000000000000135954d155898D42C90D2a57824C690e0c7BEf1B
Arg [3] : 4241542d41000000000000000000000000000000000000000000000000000000

1724:16021:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16123:88;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17253:137;;;:::i;:::-;;16270:89;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2601:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2498:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17460:282;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2914:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5331:774;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2373:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2185:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2708:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16460:410;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2300:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1817:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3787:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3171:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12252:3501;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8377:1295;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2434:23;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1899:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3548:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2811:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3017:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1769:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2244:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2112:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3122:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6111:384;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9778:1308;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16123:88;16163:7;16190:6;:13;;;;16183:20;;16123:88;:::o;17253:137::-;17298:13;17323:3;17315:17;;;17333:3;17315:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17292:45;;;;;;17356:26;17361:5;17368:3;;;;;;;;;;;:8;;;17377:3;17368:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17356:4;:26::i;:::-;17348:5;:34;;;;17253:137;:::o;16270:89::-;16309:16;16345:6;16338:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16270:89;:::o;2601:19::-;;;;:::o;2498:18::-;;;;:::o;17460:282::-;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5077:1:::1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;5124:1;5115:6;:10;;;;17549:1:::2;17524:27;;:5;:9;17530:2;17524:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;;17516:67;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;17594:3;;;;;;;;;;;:8;;;17603:3;17608:5;:9;17614:2;17608:9;;;;;;;;;;;:13;;;17594:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;17633:3;:8;;;17642:3;17655:4;17662:10;17674:5;:9;17680:2;17674:9;;;;;;;;;;;:13;;;17633:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;17699:11;17707:2;17699:7;:11::i;:::-;17726:8;17731:2;17726:8;;;;;;;;;;;;;;;;;;5157:1:::1;5148:6;:10;;;;17460:282:::0;:::o;2914:18::-;;;;;;;;;;;;:::o;5331:774::-;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5077:1:::1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;5124:1;5115:6;:10;;;;5412:13:::2;:4;:13;5403:662;;;5441:4;5435:3;:10;;;;5403:662;;;5465:14;:4;:14;5461:604;;;5494:4;5487;:11;;;;5461:604;;;5565:14;:4;:14;5561:504;;;5594:4;5587;:11;;;;5561:504;;;5668:14;:4;:14;5664:401;;;5704:4;5690;;:19;;;;;;;;;;;;;;;;;;5664:401;;;5805:13;:4;:13;5801:264;;;5842:4;5828:3;::::0;:19:::2;;;;;;;;;;;;;;;;;;5801:264;;;5934:17;:4;:17;5930:135;;;5963:4;5953:7;:14;;;;5930:135;;;6024:41;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;5930:135;5801:264;5664:401;5561:504;5461:604;5403:662;6086:4;6081:16;6092:4;6081:16;;;;;;;;;;;;;;;;;;5157:1:::1;5148:6;:10;;;;5331:774:::0;;:::o;2373:26::-;;;;;;;;;;;;;:::o;2185:29::-;;;:::o;2708:19::-;;;;:::o;16460:410::-;16514:14;16530:13;16545:11;16558;16612;16626:5;:9;16632:2;16626:9;;;;;;;;;;;:13;;;;;;;;;;;;16612:27;;16650:11;16664:5;:9;16670:2;16664:9;;;;;;;;;;;:13;;;;;;;;;;;;16650:27;;16690:9;16726:26;16733:3;16738:5;:9;16744:2;16738:9;;;;;;;;;;;:13;;;16726:6;:26::i;:::-;16710:42;;;;;;;;16792:1;16777:17;;:3;:17;;;;:25;;;;;16798:4;16777:25;16765:37;;16819:5;:9;16825:2;16819:9;;;;;;;;;;;:13;;;16813:19;;16849:5;:9;16855:2;16849:9;;;;;;;;;;;:13;;;16843:19;;16460:410;;;;;;;;:::o;2300:22::-;;;;;;;;;;;;;:::o;1817:76::-;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1873:1:::1;1860:5;:10:::0;1866:3:::1;1860:10;;;;;;;;;;;;;;;:14;;;;1886:3;1881:9;;;;;;;;;;;;1817:76:::0;:::o;3787:26::-;;;;:::o;3171:23::-;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12252:3501::-;5077:1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5124:1;5115:6;:10;;;;12688:1:::1;5237:5;5227:7;;:15;5219:53;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;12704:11:::2;12718:5;:9;12724:2;12718:9;;;;;;;;;;;:13;;;;;;;;;;;;12704:27;;12742:11;12756:5;:9;12762:2;12756:9;;;;;;;;;;;:13;;;;;;;;;;;;12742:27;;12805:1;12790:17;;:3;:17;;;;12782:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;12852:13;12891:9:::0;12931:26:::2;12938:3;12943:5;:9;12949:2;12943:9;;;;;;;;;;;:13;;;12931:6;:26::i;:::-;12915:42;;;;;;;;13037:4;13036:5;13028:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;5283:1;13152:5;13145:3;:12;;13137:46;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;13196:11;13210:5;:9;13216:2;13210:9;;;;;;;;;;;:13;;;13196:27;;13234:11;13248:5;:9;13254:2;13248:9;;;;;;;;;;;:13;;;13234:27;;13272:11;13367:13:::0;13383::::2;13387:3;13392;13383;:13::i;:::-;13367:29;;13491:17;13495:5;13502;13491:3;:17::i;:::-;13485:23;;13586:3;13580;:9;13576:923;;;13660:3;13654:9;;13761:5;13755:3;:11;;;;;;13747:19;;13576:923;;;13861:3;13855;:9;:24;;;;;13876:3;13868:5;:11;13855:24;13851:648;;;13980:14;13997:5;;13980:22;;14037:6;14031:3;14025;:9;:18;14021:463;;;14183:6;14177:3;:12;14169:52;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;14301:6;14295:3;:12;14289:18;;14401:5;14395:3;:11;;;;;;14387:19;;14021:463;13851:648;;13576:923;14583:3;14577;:9;14571:15;;14695:5;14689:3;:11;14683:17;;14756:3;:8;;;14765:3;14778:4;14785:3;14790:5;14756:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;15013:12;15028:3;;;;;;;;;;;15013:18;;15064:1;15050:4;;:11;;:15;:38;;;;;15084:3;15069:19;;:3;:19;;;;15050:38;:62;;;;;15107:4;15092:20;;:3;:20;;;;15050:62;15046:163;;;15147:3;15133:30;;;15164:10;15176:3;15181:5;15188:4;;15133:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;15046:163;15261:3;:8;;;15270:10;15282:3;;;;;;;;;;;15287;15261:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;15373:4;:9;;;15383:3;15395:1;15388:3;:8;:26;;15411:3;15388:26;;;15405:3;15399;:9;15388:26;15373:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;5283:1;;15450;15443:3;:8;15439:249;;;15468:11;15476:2;15468:7;:11::i;:::-;15439:249;;;15508:1;15501:3;:8;15497:191;;;15526:3;:8;;;15535:3;15548:4;15555:3;15560;15526:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;15579:11;15587:2;15579:7;:11::i;:::-;15497:191;;;15639:3;15623:5;:9;15629:2;15623:9;;;;;;;;;;;:13;;:19;;;;15673:3;15657:5;:9;15663:2;15657:9;;;;;;;;;;;:13;;:19;;;;15497:191;15439:249;15741:3;15705:40;;15710:2;15705:40;15714:3;15719:5;15726:3;15731;15736;15705:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5283:1;;;;;;5136::::1;5157::::0;5148:6;:10;;;;12252:3501;;;;;;:::o;8377:1295::-;8689:10;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5077:1:::1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;5124:1;5115:6;:10;;;;8677:1:::2;5237:5;5227:7;;:15;5219:53;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;8765:1:::3;8749:3;:17;8741:46;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;8822:1;8806:3;:17;8798:46;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;8878:1;8863:17;;:3;:17;;;;8855:46;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;8919:5;;8917:7;;;;;;;;;;8912:12;;8959:1;8943:2;:17;8935:46;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;8994:6;9006:2;8994:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9054:1;9038:6;:13;;;;:17;9022:5;:9;9028:2;9022:9;;;;;;;;;;;:13;;:33;;;;9084:3;9068:5;:9;9074:2;9068:9;;;;;;;;;;;:13;;:19;;;;9114:3;9098:5;:9;9104:2;9098:9;;;;;;;;;;;:13;;:19;;;;9144:3;9128:5;:9;9134:2;9128:9;;;;;;;;;;;:13;;;:19;;;;;;;;;;;;;;;;;;9181:15;9158:5;:9;9164:2;9158:9;;;;;;;;;;;:13;;;:39;;;;;;;;;;;;;;;;;;9210:11;9238:25;9243:14;:12;:14::i;:::-;9259:3;;9238:4;:25::i;:::-;9232:31;;9288:1;9282:3;:7;9274:42;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;;9343:3;9327:5;:9;9333:2;9327:9;;;;;;;;;;;:13;;:19;;;;9397:12;9413:3;::::0;::::3;;;;;;;;9397:19;;;;9427:13;9443:4;;;;;;;;;;;9427:20;;;;9458:12;9492:1:::0;9485:4:::3;:8;:21;;;;9505:1;9497:5;:9;9485:21;9481:127;;;9530:27;9534:4;9540:16;9545:3;9550:5;9540:4;:16::i;:::-;9530:3;:27::i;:::-;9523:34;;9572:3;:8;;;9581:3;;;;;;;;;;;9586;9591:4;9572:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::3;;;;;;;;;;;;::::0;::::3;;;;;;;;;9481:127;9654:3;9625:39;;9649:3;9625:39;;9630:2;9625:39;9634:3;9639;9644;9659:4;9625:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5283:1;;;;5136::::2;5157::::1;5148:6;:10;;;;8377:1295:::0;;;;;;:::o;2434:23::-;;;;;;;;;;;;;:::o;1899:76::-;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1955:1:::1;1942:5:::0;:10:::1;1948:3;1942:10;;;;;;;;;;;;;;;:14;;;;1968:3;1963:9;;;;;;;;;;;;1899:76:::0;:::o;3548:37::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2811:19::-;;;;;;;;;;;;;:::o;3017:20::-;;;;:::o;1769:41::-;;;;;;;;;;;;;;;;;:::o;2244:22::-;;;;;;;;;;;;;:::o;2112:29::-;;;:::o;3122:22::-;;;;:::o;6111:384::-;2035:1;2014:5;:17;2020:10;2014:17;;;;;;;;;;;;;;;;:22;2006:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5077:1:::1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;5124:1;5115:6;:10;;;;6187:17:::2;:4;:17;6183:272;;;6228:4;6206:7;;:27;;;;;;;;;;;;;;;;;;6183:272;;;6253:13;:4;:13;6249:206;;;6285:4;6271:3;;:19;;;;;;;;;;;;;;;;;;6249:206;;;6310:13;:4;:13;6306:149;;;6334:4;6328:3;;:10;;;;;;;;;;;;;;;;;;6306:149;;;6358:14;:4;:14;6354:101;;;6393:4;6375;;:23;;;;;;;;;;;;;;;;;;6354:101;;;6414:41;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;6354:101;6306:149;6249:206;6183:272;6476:4;6471:16;6482:4;6471:16;;;;;;;;;;;;;;;;;;;;5157:1:::1;5148:6;:10;;;;6111:384:::0;;:::o;9778:1308::-;5077:1;5067:6;;:11;5059:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5124:1;5115:6;:10;;;;9938:1:::1;5237:5;5227:7;;:15;5219:53;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;9982:11:::2;9996:5;:9;10002:2;9996:9;;;;;;;;;;;:13;;;;;;;;;;;;9982:27;;10020:11;10034:5;:9;10040:2;10034:9;;;;;;;;;;;:13;;;;;;;;;;;;10020:27;;10058:11;10072:5;:9;10078:2;10072:9;;;;;;;;;;;:13;;;10058:27;;10121:1;10106:17;;:3;:17;;;;10098:57;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;10256:9;10270:16;10277:3;10282;10270:6;:16::i;:::-;10255:31;;;10305:4;10297:37;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;10347:11;10363:5;:9;10369:2;10363:9;;;;;;;;;;;:13;;;10347:29;;10387:11;10403:5;:9;10409:2;10403:9;;;;;;;;;;;:13;;;10387:29;;10450:15;10427:5;:9;10433:2;10427:9;;;;;;;;;;;:13;;;:39;;;;;;;;;;;;;;;;;;10479:17;10499:14;:12;:14::i;:::-;10479:34;;10530:20;10535:9;10546:3;;10530:4;:20::i;:::-;10524:26;;10575:1;10569:3;:7;10561:42;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;10630:3;10614:5;:9;10620:2;10614:9;;;;;;;;;;;:13;;:19;;;;10684:12;10700:3;::::0;::::2;;;;;;;;10684:19;;;;10714:13;10730:4;;;;;;;;;;;10714:20;;;;10745:12;10779:1:::0;10772:4:::2;:8;:21;;;;10792:1;10784:5;:9;10772:21;10768:254;;;10810:14;10827:5;;10810:22;;10858:6;10851:3;:13;;:46;;;;;10891:6;10868:19;10872:3;10877:9;10868:3;:19::i;:::-;:29;;10851:46;10847:164;;;10925:27;10929:4;10935:16;10940:3;10945:5;10935:4;:16::i;:::-;10925:3;:27::i;:::-;10918:34;;10971:3;:8;;;10980:3;;;;;;;;;;;10985;10990:4;10971:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;10847:164;10768:254;;11068:3;11039:39;;11063:3;11039:39;;11044:2;11039:39;11048:3;11053;11058;11073:4;11039:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5283:1;;;;;;;;;;5136::::1;5157::::0;5148:6;:10;;;;9778:1308;;:::o;7123:108::-;7182:9;6585:8;7208:9;7212:1;7215;7208:3;:9::i;:::-;:15;;;;;;7204:19;;7123:108;;;;:::o;15761:316::-;15810:13;15829:6;15852:1;15836:6;:13;;;;:17;15829:25;;;;;;;;;;;;;;;;15810:44;;15875:5;15869:2;:11;15865:155;;15897:14;15916:5;:9;15922:2;15916:9;;;;;;;;;;;:13;;;15897:32;;15963:5;15944:6;15951;15944:14;;;;;;;;;;;;;;;:24;;;;16002:6;15983:5;:12;15989:5;15983:12;;;;;;;;;;;:16;;:25;;;;15865:155;;16030:6;:12;;;;;;;;;;;;;;;;;;;;;;;;16060:5;:9;16066:2;16060:9;;;;;;;;;;;;16053:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15761:316;;:::o;16944:239::-;17008:9;17019:13;17053:4;;;;;;;;;;;:10;;;17064:3;17069:25;17073:15;17090:3;17069:25;;:3;:25::i;:::-;17053:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17045:50;;17143:4;;17115:25;17119:15;17136:3;17115:25;;:3;:25::i;:::-;:32;:59;;;;17170:4;;17151:16;17156:5;17163:3;17151:4;:16::i;:::-;:23;17115:59;17106:69;;16944:239;;;;;:::o;6640:106::-;6698:9;6729:1;6724;:6;;:14;;6737:1;6724:14;;;6733:1;6724:14;6720:18;;6640:106;;;;:::o;6990:127::-;7048:9;7083:1;7078;:6;:30;;;;7107:1;7102;7097;7093;:5;7089:9;;;7088:15;;;;;;:20;7078:30;7070:39;;;;;;6990:127;;;;:::o;7713:276::-;7755:17;7786:11;7803:7;;;;;;;;;;;:12;;;7816:3;7803:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7785:35;;;7832:11;7845:8;7857:3;:8;;;:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7831:36;;;;7886:3;7878:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7938:43;7943:22;7955:3;7947:12;;6547:8;7943:3;:22::i;:::-;7967:7;;;;;;;;;;;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7938:4;:43::i;:::-;7926:55;;7713:276;;;;:::o;7237:108::-;7296:9;6623:8;7322:9;7326:1;7329;7322:3;:9::i;:::-;:15;;;;;;7318:19;;7237:108;;;;:::o;6752:113::-;6810:9;6855:1;6849;6845;:5;6841:9;;;6840:16;;6832:25;;;;;;6752:113;;;;:::o;6871:::-;6929:9;6974:1;6968;6964;:5;6960:9;;;6959:16;;6951:25;;;;;;6871:113;;;;:::o;7351:108::-;7410:9;7450:1;7436:11;7440:1;6623:8;7436:3;:11::i;:::-;:15;;;;;;7432:19;;7351:108;;;;:::o

ipfs://2308b84e56a54cac65688adc6c5c48e47623dd66554942603cbe3515cdbe1587