Contract

/**
 *Submitted for verification at Etherscan.io on 2020-07-22
*/

/// flop.sol -- Debt auction

// Copyright (C) 2018 Rain <[email protected]>
//
// 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.5.12;

contract LibNote {
    event LogNote(
        bytes4   indexed  sig,
        address  indexed  usr,
        bytes32  indexed  arg1,
        bytes32  indexed  arg2,
        bytes             data
    ) anonymous;

    modifier note {
        _;
        assembly {
            // log an 'anonymous' event with a constant 6 words of calldata
            // and four indexed topics: selector, caller, arg1 and arg2
            let mark := msize()                       // end of memory ensures zero
            mstore(0x40, add(mark, 288))              // update free memory pointer
            mstore(mark, 0x20)                        // bytes type data offset
            mstore(add(mark, 0x20), 224)              // bytes size (padded)
            calldatacopy(add(mark, 0x40), 0, 224)     // bytes payload
            log4(mark, 288,                           // calldata
                 shl(224, shr(224, calldataload(0))), // msg.sig
                 caller(),                            // msg.sender
                 calldataload(4),                     // arg1
                 calldataload(36)                     // arg2
                )
        }
    }
}

interface VatLike {
    function move(address,address,uint) external;
    function suck(address,address,uint) external;
}
interface GemLike {
    function mint(address,uint) external;
}
interface VowLike {
    function Ash() external returns (uint);
    function kiss(uint) external;
}

/*
   This thing creates gems on demand in return for dai.

 - `lot` gems in return for bid
 - `bid` dai paid
 - `gal` receives dai income
 - `ttl` single bid lifetime
 - `beg` minimum bid increase
 - `end` max auction duration
*/

contract Flopper is LibNote {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { wards[usr] = 1; }
    function deny(address usr) external note auth { wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "Flopper/not-authorized");
        _;
    }

    // --- Data ---
    struct Bid {
        uint256 bid;  // dai paid                [rad]
        uint256 lot;  // gems in return for bid  [wad]
        address guy;  // high bidder
        uint48  tic;  // bid expiry time         [unix epoch time]
        uint48  end;  // auction expiry time     [unix epoch time]
    }

    mapping (uint => Bid) public bids;

    VatLike  public   vat;  // CDP Engine
    GemLike  public   gem;

    uint256  constant ONE = 1.00E18;
    uint256  public   beg = 1.05E18;  // 5% minimum bid increase
    uint256  public   pad = 1.50E18;  // 50% lot increase for tick
    uint48   public   ttl = 3 hours;  // 3 hours bid lifetime         [seconds]
    uint48   public   tau = 2 days;   // 2 days total auction length  [seconds]
    uint256  public kicks = 0;
    uint256  public live;             // Active Flag
    address  public vow;              // not used until shutdown

    // --- Events ---
    event Kick(
      uint256 id,
      uint256 lot,
      uint256 bid,
      address indexed gal
    );

    // --- Init ---
    constructor(address vat_, address gem_) public {
        wards[msg.sender] = 1;
        vat = VatLike(vat_);
        gem = GemLike(gem_);
        live = 1;
    }

    // --- Math ---
    function add(uint48 x, uint48 y) internal pure returns (uint48 z) {
        require((z = x + y) >= x);
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }
    function min(uint x, uint y) internal pure returns (uint z) {
        if (x > y) { z = y; } else { z = x; }
    }

    // --- Admin ---
    function file(bytes32 what, uint data) external note auth {
        if (what == "beg") beg = data;
        else if (what == "pad") pad = data;
        else if (what == "ttl") ttl = uint48(data);
        else if (what == "tau") tau = uint48(data);
        else revert("Flopper/file-unrecognized-param");
    }

    // --- Auction ---
    function kick(address gal, uint lot, uint bid) external auth returns (uint id) {
        require(live == 1, "Flopper/not-live");
        require(kicks < uint(-1), "Flopper/overflow");
        id = ++kicks;

        bids[id].bid = bid;
        bids[id].lot = lot;
        bids[id].guy = gal;
        bids[id].end = add(uint48(now), tau);

        emit Kick(id, lot, bid, gal);
    }
    function tick(uint id) external note {
        require(bids[id].end < now, "Flopper/not-finished");
        require(bids[id].tic == 0, "Flopper/bid-already-placed");
        bids[id].lot = mul(pad, bids[id].lot) / ONE;
        bids[id].end = add(uint48(now), tau);
    }
    function dent(uint id, uint lot, uint bid) external note {
        require(live == 1, "Flopper/not-live");
        require(bids[id].guy != address(0), "Flopper/guy-not-set");
        require(bids[id].tic > now || bids[id].tic == 0, "Flopper/already-finished-tic");
        require(bids[id].end > now, "Flopper/already-finished-end");

        require(bid == bids[id].bid, "Flopper/not-matching-bid");
        require(lot <  bids[id].lot, "Flopper/lot-not-lower");
        require(mul(beg, lot) <= mul(bids[id].lot, ONE), "Flopper/insufficient-decrease");

        if (msg.sender != bids[id].guy) {
            vat.move(msg.sender, bids[id].guy, bid);

            // on first dent, clear as much Ash as possible
            if (bids[id].tic == 0) {
                uint Ash = VowLike(bids[id].guy).Ash();
                VowLike(bids[id].guy).kiss(min(bid, Ash));
            }

            bids[id].guy = msg.sender;
        }

        bids[id].lot = lot;
        bids[id].tic = add(uint48(now), ttl);
    }
    function deal(uint id) external note {
        require(live == 1, "Flopper/not-live");
        require(bids[id].tic != 0 && (bids[id].tic < now || bids[id].end < now), "Flopper/not-finished");
        gem.mint(bids[id].guy, bids[id].lot);
        delete bids[id];
    }

    // --- Shutdown ---
    function cage() external note auth {
       live = 0;
       vow = msg.sender;
    }
    function yank(uint id) external note {
        require(live == 0, "Flopper/still-live");
        require(bids[id].guy != address(0), "Flopper/guy-not-set");
        vat.suck(vow, bids[id].guy, bids[id].bid);
        delete bids[id];
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"vat_","type":"address"},{"internalType":"address","name":"gem_","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lot","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"bid","type":"uint256"},{"indexed":true,"internalType":"address","name":"gal","type":"address"}],"name":"Kick","type":"event"},{"anonymous":true,"inputs":[{"indexed":true,"internalType":"bytes4","name":"sig","type":"bytes4"},{"indexed":true,"internalType":"address","name":"usr","type":"address"},{"indexed":true,"internalType":"bytes32","name":"arg1","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"arg2","type":"bytes32"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"LogNote","type":"event"},{"constant":true,"inputs":[],"name":"beg","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"bids","outputs":[{"internalType":"uint256","name":"bid","type":"uint256"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint48","name":"tic","type":"uint48"},{"internalType":"uint48","name":"end","type":"uint48"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"cage","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"deal","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"uint256","name":"bid","type":"uint256"}],"name":"dent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"uint256","name":"data","type":"uint256"}],"name":"file","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"gem","outputs":[{"internalType":"contract GemLike","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"gal","type":"address"},{"internalType":"uint256","name":"lot","type":"uint256"},{"internalType":"uint256","name":"bid","type":"uint256"}],"name":"kick","outputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"kicks","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"live","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"pad","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"tau","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"tick","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ttl","outputs":[{"internalType":"uint48","name":"","type":"uint48"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vat","outputs":[{"internalType":"contract VatLike","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vow","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"wards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"yank","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6080604052670e92596fd62900006004556714d1120d7b160000600555612a30600660006101000a81548165ffffffffffff021916908365ffffffffffff1602179055506202a3006006806101000a81548165ffffffffffff021916908365ffffffffffff160217905550600060075534801561007b57600080fd5b5060405161242c38038061242c8339818101604052604081101561009e57600080fd5b81019080805190602001909291908051906020019092919050505060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060016008819055505050612294806101986000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637d780d82116100ad578063bf353dbb11610071578063bf353dbb146104e7578063c959c42b1461053f578063cfc4af551461056d578063cfdd33021461059b578063fc7b6aee146105b95761012c565b80637d780d82146103dd5780639361266c146103fb578063957aa58c146104195780639c52a7f114610437578063b7e9cd241461047b5761012c565b80635ff3a382116100f45780635ff3a382146102b9578063626cb3c5146102fb57806365fae35e1461034557806369245009146103895780637bd2bea7146103935761012c565b806326e027f11461013157806329ae81141461015f57806336569e77146101975780634423c5f1146101e15780634e8b1dd51461028b575b600080fd5b61015d6004803603602081101561014757600080fd5b81019080803590602001909291905050506105e7565b005b6101956004803603604081101561017557600080fd5b810190808035906020019092919080359060200190929190505050610950565b005b61019f610bb7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61020d600480360360208110156101f757600080fd5b8101908080359060200190929190505050610bdd565b604051808681526020018581526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018365ffffffffffff1665ffffffffffff1681526020018265ffffffffffff1665ffffffffffff1681526020019550505050505060405180910390f35b610293610c57565b604051808265ffffffffffff1665ffffffffffff16815260200191505060405180910390f35b6102f9600480360360608110156102cf57600080fd5b81019080803590602001909291908035906020019092919080359060200190929190505050610c6f565b005b610303611538565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103876004803603602081101561035b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061155e565b005b61039161168c565b005b61039b6117be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e56117e4565b6040518082815260200191505060405180910390f35b6104036117ea565b6040518082815260200191505060405180910390f35b6104216117f0565b6040518082815260200191505060405180910390f35b6104796004803603602081101561044d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117f6565b005b6104d16004803603606081101561049157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611924565b6040518082815260200191505060405180910390f35b610529600480360360208110156104fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c3f565b6040518082815260200191505060405180910390f35b61056b6004803603602081101561055557600080fd5b8101908080359060200190929190505050611c57565b005b610575611fad565b604051808265ffffffffffff1665ffffffffffff16815260200191505060405180910390f35b6105a3611fc4565b6040518082815260200191505060405180910390f35b6105e5600480360360208110156105cf57600080fd5b8101908080359060200190929190505050611fca565b005b60006008541461065f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f466c6f707065722f7374696c6c2d6c697665000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166001600083815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610738576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f466c6f707065722f6775792d6e6f742d7365740000000000000000000000000081525060200191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f24e23eb600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166001600085815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660016000868152602001908152602001600020600001546040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561088357600080fd5b505af1158015610897573d6000803e3d6000fd5b505050506001600082815260200190815260200160002060008082016000905560018201600090556002820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556002820160146101000a81549065ffffffffffff021916905560028201601a6101000a81549065ffffffffffff021916905550505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a45050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610a04576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f466c6f707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b7f6265670000000000000000000000000000000000000000000000000000000000821415610a385780600481905550610b80565b7f7061640000000000000000000000000000000000000000000000000000000000821415610a6c5780600581905550610b7f565b7f74746c0000000000000000000000000000000000000000000000000000000000821415610abe5780600660006101000a81548165ffffffffffff021916908365ffffffffffff160217905550610b7e565b7f7461750000000000000000000000000000000000000000000000000000000000821415610b0f57806006806101000a81548165ffffffffffff021916908365ffffffffffff160217905550610b7d565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f466c6f707065722f66696c652d756e7265636f676e697a65642d706172616d0081525060200191505060405180910390fd5b5b5b5b5961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a4505050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016020528060005260406000206000915090508060000154908060010154908060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020160149054906101000a900465ffffffffffff169080600201601a9054906101000a900465ffffffffffff16905085565b600660009054906101000a900465ffffffffffff1681565b600160085414610ce7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f466c6f707065722f6e6f742d6c6976650000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166001600085815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610dc0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f466c6f707065722f6775792d6e6f742d7365740000000000000000000000000081525060200191505060405180910390fd5b426001600085815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff161180610e2e575060006001600085815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff16145b610ea0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f466c6f707065722f616c72656164792d66696e69736865642d7469630000000081525060200191505060405180910390fd5b4260016000858152602001908152602001600020600201601a9054906101000a900465ffffffffffff1665ffffffffffff1611610f45576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f466c6f707065722f616c72656164792d66696e69736865642d656e640000000081525060200191505060405180910390fd5b60016000848152602001908152602001600020600001548114610fd0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f466c6f707065722f6e6f742d6d61746368696e672d626964000000000000000081525060200191505060405180910390fd5b6001600084815260200190815260200160002060010154821061105b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f466c6f707065722f6c6f742d6e6f742d6c6f776572000000000000000000000081525060200191505060405180910390fd5b6110836001600085815260200190815260200160002060010154670de0b6b3a76400006121ed565b61108f600454846121ed565b1115611103576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f466c6f707065722f696e73756666696369656e742d646563726561736500000081525060200191505060405180910390fd5b6001600084815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461148f57600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663bb35783b336001600087815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561127f57600080fd5b505af1158015611293573d6000803e3d6000fd5b5050505060006001600085815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff1614156114395760006001600085815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632a1d2b3c6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561135057600080fd5b505af1158015611364573d6000803e3d6000fd5b505050506040513d602081101561137a57600080fd5b810190808051906020019092919050505090506001600085815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632506855a6113e98484612219565b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561141f57600080fd5b505af1158015611433573d6000803e3d6000fd5b50505050505b336001600085815260200190815260200160002060020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8160016000858152602001908152602001600020600101819055506114c842600660009054906101000a900465ffffffffffff16612235565b6001600085815260200190815260200160002060020160146101000a81548165ffffffffffff021916908365ffffffffffff1602179055505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a450505050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611612576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f466c6f707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a45050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611740576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f466c6f707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b600060088190555033600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a450565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60045481565b60055481565b60085481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146118aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f466c6f707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a45050565b600060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146119da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f466c6f707065722f6e6f742d617574686f72697a65640000000000000000000081525060200191505060405180910390fd5b600160085414611a52576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f466c6f707065722f6e6f742d6c6976650000000000000000000000000000000081525060200191505060405180910390fd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60075410611ae9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f466c6f707065722f6f766572666c6f770000000000000000000000000000000081525060200191505060405180910390fd5b6007600081546001019190508190559050816001600083815260200190815260200160002060000181905550826001600083815260200190815260200160002060010181905550836001600083815260200190815260200160002060020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611ba2426006809054906101000a900465ffffffffffff16612235565b60016000838152602001908152602001600020600201601a6101000a81548165ffffffffffff021916908365ffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff167f7e8881001566f9f89aedb9c5dc3d856a2b81e5235a8196413ed484be91cc0df682858560405180848152602001838152602001828152602001935050505060405180910390a29392505050565b60006020528060005260406000206000915090505481565b600160085414611ccf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f466c6f707065722f6e6f742d6c6976650000000000000000000000000000000081525060200191505060405180910390fd5b60006001600083815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff1614158015611d795750426001600083815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff161080611d7857504260016000838152602001908152602001600020600201601a9054906101000a900465ffffffffffff1665ffffffffffff16105b5b611deb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f466c6f707065722f6e6f742d66696e697368656400000000000000000000000081525060200191505060405180910390fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f196001600084815260200190815260200160002060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660016000858152602001908152602001600020600101546040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611ee057600080fd5b505af1158015611ef4573d6000803e3d6000fd5b505050506001600082815260200190815260200160002060008082016000905560018201600090556002820160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556002820160146101000a81549065ffffffffffff021916905560028201601a6101000a81549065ffffffffffff021916905550505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a45050565b6006809054906101000a900465ffffffffffff1681565b60075481565b4260016000838152602001908152602001600020600201601a9054906101000a900465ffffffffffff1665ffffffffffff161061206f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f466c6f707065722f6e6f742d66696e697368656400000000000000000000000081525060200191505060405180910390fd5b60006001600083815260200190815260200160002060020160149054906101000a900465ffffffffffff1665ffffffffffff1614612115576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f466c6f707065722f6269642d616c72656164792d706c6163656400000000000081525060200191505060405180910390fd5b670de0b6b3a764000061214060055460016000858152602001908152602001600020600101546121ed565b8161214757fe5b04600160008381526020019081526020016000206001018190555061217f426006809054906101000a900465ffffffffffff16612235565b60016000838152602001908152602001600020600201601a6101000a81548165ffffffffffff021916908365ffffffffffff1602179055505961012081016040526020815260e0602082015260e0600060408301376024356004353360003560e01c60e01b61012085a45050565b60008082148061220a575082828385029250828161220757fe5b04145b61221357600080fd5b92915050565b60008183111561222b5781905061222f565b8290505b92915050565b60008265ffffffffffff1682840191508165ffffffffffff16101561225957600080fd5b9291505056fea265627a7a72315820ce5286f09e3394be981e9aea1c3ec4d86eed2bd79052dda0892de40c5018261064736f6c634300050c003200000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a2

00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a2

-----Decoded View---------------
Arg [0] : vat_ (address): 0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B
Arg [1] : gem_ (address): 0x9f8F72aA9304c8B593d555F12eF6589cC3A579A2

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b
Arg [1] : 0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a2

2536:4736:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2536:4736:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7026:243;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7026:243:0;;;;;;;;;;;;;;;;;:::i;:::-;;4563:314;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4563:314:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3265:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3223:33;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3223:33:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3510:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5588:1032;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5588:1032:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3758:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2637:65;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2637:65:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;6933:87;;;:::i;:::-;;3308:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3376:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3442;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3704:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2708:65;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2708:65:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4909:392;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4909:392:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2592:38;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2592:38:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6626:274;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6626:274:0;;;;;;;;;;;;;;;;;:::i;:::-;;3591:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3672:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5307:275;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5307:275:0;;;;;;;;;;;;;;;;;:::i;:::-;;7026:243;7090:1;7082:4;;:9;7074:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7157:1;7133:26;;:4;:8;7138:2;7133:8;;;;;;;;;;;:12;;;;;;;;;;;;:26;;;;7125:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7194:3;;;;;;;;;;;:8;;;7203:3;;;;;;;;;;;7208:4;:8;7213:2;7208:8;;;;;;;;;;;:12;;;;;;;;;;;;7222:4;:8;7227:2;7222:8;;;;;;;;;;;:12;;;7194:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7194:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7194:41:0;;;;7253:4;:8;7258:2;7253:8;;;;;;;;;;;;7246:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;:::o;4563:314::-;2833:1;2812:5;:17;2818:10;2812:17;;;;;;;;;;;;;;;;:22;2804:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4636:13;:4;:13;4632:237;;;4657:4;4651:3;:10;;;;4632:237;;;4681:13;:4;:13;4677:192;;;4702:4;4696:3;:10;;;;4677:192;;;4726:13;:4;:13;4722:147;;;4754:4;4741:3;;:18;;;;;;;;;;;;;;;;;;4722:147;;;4779:13;:4;:13;4775:94;;;4807:4;4794:3;;:18;;;;;;;;;;;;;;;;;;4775:94;;;4828:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4775:94;4722:147;4677:192;4632:237;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;;:::o;3265:21::-;;;;;;;;;;;;;:::o;3223:33::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3510:31::-;;;;;;;;;;;;;:::o;5588:1032::-;5672:1;5664:4;;:9;5656:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5737:1;5713:26;;:4;:8;5718:2;5713:8;;;;;;;;;;;:12;;;;;;;;;;;;:26;;;;5705:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5797:3;5782:4;:8;5787:2;5782:8;;;;;;;;;;;:12;;;;;;;;;;;;:18;;;:39;;;;5820:1;5804:4;:8;5809:2;5804:8;;;;;;;;;;;:12;;;;;;;;;;;;:17;;;5782:39;5774:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5888:3;5873:4;:8;5878:2;5873:8;;;;;;;;;;;:12;;;;;;;;;;;;:18;;;5865:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5952:4;:8;5957:2;5952:8;;;;;;;;;;;:12;;;5945:3;:19;5937:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6019:4;:8;6024:2;6019:8;;;;;;;;;;;:12;;;6012:3;:19;6004:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6093:22;6097:4;:8;6102:2;6097:8;;;;;;;;;;;:12;;;3362:7;6093:3;:22::i;:::-;6076:13;6080:3;;6085;6076;:13::i;:::-;:39;;6068:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6180:4;:8;6185:2;6180:8;;;;;;;;;;;:12;;;;;;;;;;;;6166:26;;:10;:26;;;6162:373;;6209:3;;;;;;;;;;;:8;;;6218:10;6230:4;:8;6235:2;6230:8;;;;;;;;;;;:12;;;;;;;;;;;;6244:3;6209:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6209:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6209:39:0;;;;6346:1;6330:4;:8;6335:2;6330:8;;;;;;;;;;;:12;;;;;;;;;;;;:17;;;6326:156;;;6368:8;6387:4;:8;6392:2;6387:8;;;;;;;;;;;:12;;;;;;;;;;;;6379:25;;;:27;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6379:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6379:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6379:27:0;;;;;;;;;;;;;;;;6368:38;;6433:4;:8;6438:2;6433:8;;;;;;;;;;;:12;;;;;;;;;;;;6425:26;;;6452:13;6456:3;6461;6452;:13::i;:::-;6425:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6425:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6425:41:0;;;;6326:156;;6513:10;6498:4;:8;6503:2;6498:8;;;;;;;;;;;:12;;;:25;;;;;;;;;;;;;;;;;;6162:373;6562:3;6547:4;:8;6552:2;6547:8;;;;;;;;;;;:12;;:18;;;;6591:21;6602:3;6608;;;;;;;;;;;6591;:21::i;:::-;6576:4;:8;6581:2;6576:8;;;;;;;;;;;:12;;;:36;;;;;;;;;;;;;;;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;;;:::o;3758:19::-;;;;;;;;;;;;;:::o;2637:65::-;2833:1;2812:5;:17;2818:10;2812:17;;;;;;;;;;;;;;;;:22;2804:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2698:1;2685:5;:10;2691:3;2685:10;;;;;;;;;;;;;;;:14;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;:::o;6933:87::-;2833:1;2812:5;:17;2818:10;2812:17;;;;;;;;;;;;;;;;:22;2804:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6985:1;6978:4;:8;;;;7002:10;6996:3;;:16;;;;;;;;;;;;;;;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;:::o;3308:21::-;;;;;;;;;;;;;:::o;3376:31::-;;;;:::o;3442:::-;;;;:::o;3704:20::-;;;;:::o;2708:65::-;2833:1;2812:5;:17;2818:10;2812:17;;;;;;;;;;;;;;;;:22;2804:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2769:1;2756:5;:10;2762:3;2756:10;;;;;;;;;;;;;;;:14;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;:::o;4909:392::-;4979:7;2833:1;2812:5;:17;2818:10;2812:17;;;;;;;;;;;;;;;;:22;2804:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5015:1;5007:4;;:9;4999:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5069:2;5056:5;;:16;5048:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5111:5;;5109:7;;;;;;;;;;5104:12;;5144:3;5129:4;:8;5134:2;5129:8;;;;;;;;;;;:12;;:18;;;;5173:3;5158:4;:8;5163:2;5158:8;;;;;;;;;;;:12;;:18;;;;5202:3;5187:4;:8;5192:2;5187:8;;;;;;;;;;;:12;;;:18;;;;;;;;;;;;;;;;;;5231:21;5242:3;5248;;;;;;;;;;;5231;:21::i;:::-;5216:4;:8;5221:2;5216:8;;;;;;;;;;;:12;;;:36;;;;;;;;;;;;;;;;;;5289:3;5270:23;;;5275:2;5279:3;5284;5270:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4909:392;;;;;:::o;2592:38::-;;;;;;;;;;;;;;;;;:::o;6626:274::-;6690:1;6682:4;;:9;6674:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6747:1;6731:4;:8;6736:2;6731:8;;;;;;;;;;;:12;;;;;;;;;;;;:17;;;;:63;;;;;6768:3;6753:4;:8;6758:2;6753:8;;;;;;;;;;;:12;;;;;;;;;;;;:18;;;:40;;;;6790:3;6775:4;:8;6780:2;6775:8;;;;;;;;;;;:12;;;;;;;;;;;;:18;;;6753:40;6731:63;6723:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6830:3;;;;;;;;;;;:8;;;6839:4;:8;6844:2;6839:8;;;;;;;;;;;:12;;;;;;;;;;;;6853:4;:8;6858:2;6853:8;;;;;;;;;;;:12;;;6830:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6830:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6830:36:0;;;;6884:4;:8;6889:2;6884:8;;;;;;;;;;;;6877:15;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;:::o;3591:30::-;;;;;;;;;;;;;:::o;3672:25::-;;;;:::o;5307:275::-;5378:3;5363:4;:8;5368:2;5363:8;;;;;;;;;;;:12;;;;;;;;;;;;:18;;;5355:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5441:1;5425:4;:8;5430:2;5425:8;;;;;;;;;;;:12;;;;;;;;;;;;:17;;;5417:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3362:7;5499:22;5503:3;;5508:4;:8;5513:2;5508:8;;;;;;;;;;;:12;;;5499:3;:22::i;:::-;:28;;;;;;5484:4;:8;5489:2;5484:8;;;;;;;;;;;:12;;:43;;;;5553:21;5564:3;5570;;;;;;;;;;;5553;:21::i;:::-;5538:4;:8;5543:2;5538:8;;;;;;;;;;;:12;;;:36;;;;;;;;;;;;;;;;;;1247:7;1343:3;1337:4;1333:14;1327:4;1320:28;1418:4;1412;1405:18;1510:3;1503:4;1497;1493:15;1486:28;1597:3;1594:1;1587:4;1581;1577:15;1564:37;1919:2;1906:16;1856:1;1843:15;1774:8;1739:1;1726:15;1721:3;1717:25;1712:3;1708:35;1647:3;1641:4;1636:333;1070:910;;:::o;4294:118::-;4346:6;4378:1;4373;:6;:30;;;;4402:1;4397;4392;4388;:5;4384:9;;;4383:15;;;;;;:20;4373:30;4365:39;;;;;;4294:118;;;;:::o;4418:115::-;4470:6;4497:1;4493;:5;4489:37;;;4506:1;4502:5;;4489:37;;;4522:1;4518:5;;4489:37;4418:115;;;;:::o;4178:110::-;4234:8;4278:1;4263:16;;4272:1;4268;:5;4264:9;;;4263:16;;;;4255:25;;;;;;4178:110;;;;:::o

bzzr://ce5286f09e3394be981e9aea1c3ec4d86eed2bd79052dda0892de40c50182610