Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract LibNote
•  contract Median is LibNote
•    - function rely(address usr)
•    - function deny(address usr)
•    - function read()
•    - function peek()
•    - function recover(uint256 val_, uint25 ...
•    - function poke(
•    - function lift(address[] calldata a)
•    - function drop(address[] calldata a)
•    - function setBar(uint256 bar_)
•    - function kiss(address a)
•    - function diss(address a)
•    - function kiss(address[] calldata a)
•    - function diss(address[] calldata a)
•  contract MedianETHUSD is Median *
•    - function recover(uint256 val_, uint25 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-13
*/

// median.sol - Medianizer v2

// Copyright (C) 2019 Maker Foundation

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU 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 General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.

pragma solidity >=0.5.10;

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

contract Median 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, "Median/not-authorized");
        _;
    }

    uint128        val;
    uint32  public age;
    bytes32 public constant wat = "ethusd"; // You want to change this every deploy
    uint256 public bar = 1;

    // Authorized oracles, set by an auth
    mapping (address => uint256) public orcl;

    // Whitelisted contracts, set by an auth
    mapping (address => uint256) public bud;

    // Mapping for at most 256 oracles
    mapping (uint8 => address) public slot;

    modifier toll { require(bud[msg.sender] == 1, "Median/contract-not-whitelisted"); _;}

    event LogMedianPrice(uint256 val, uint256 age);

    //Set type of Oracle
    constructor() public {
        wards[msg.sender] = 1;
    }

    function read() external view toll returns (uint256) {
        require(val > 0, "Median/invalid-price-feed");
        return val;
    }

    function peek() external view toll returns (uint256,bool) {
        return (val, val > 0);
    }

    function recover(uint256 val_, uint256 age_, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        return ecrecover(
            keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", keccak256(abi.encodePacked(val_, age_, wat)))),
            v, r, s
        );
    }

    function poke(
        uint256[] calldata val_, uint256[] calldata age_,
        uint8[] calldata v, bytes32[] calldata r, bytes32[] calldata s) external
    {
        require(val_.length == bar, "Median/bar-too-low");

        uint256 bloom = 0;
        uint256 last = 0;
        uint256 zzz = age;

        for (uint i = 0; i < val_.length; i++) {
            // Validate the values were signed by an authorized oracle
            address signer = recover(val_[i], age_[i], v[i], r[i], s[i]);
            // Check that signer is an oracle
            require(orcl[signer] == 1, "Median/invalid-oracle");
            // Price feed age greater than last medianizer age
            require(age_[i] > zzz, "Median/stale-message");
            // Check for ordered values
            require(val_[i] >= last, "Median/messages-not-in-order");
            last = val_[i];
            // Bloom filter for signer uniqueness
            uint8 sl = uint8(uint256(signer) >> 152);
            require((bloom >> sl) % 2 == 0, "Median/oracle-already-signed");
            bloom += uint256(2) ** sl;
        }

        val = uint128(val_[val_.length >> 1]);
        age = uint32(block.timestamp);

        emit LogMedianPrice(val, age);
    }

    function lift(address[] calldata a) external note auth {
        for (uint i = 0; i < a.length; i++) {
            require(a[i] != address(0), "Median/no-oracle-0");
            uint8 s = uint8(uint256(a[i]) >> 152);
            require(slot[s] == address(0), "Median/signer-already-exists");
            orcl[a[i]] = 1;
            slot[s] = a[i];
        }
    }

    function drop(address[] calldata a) external note auth {
       for (uint i = 0; i < a.length; i++) {
            orcl[a[i]] = 0;
            slot[uint8(uint256(a[i]) >> 152)] = address(0);
       }
    }

    function setBar(uint256 bar_) external note auth {
        require(bar_ > 0, "Median/quorum-is-zero");
        require(bar_ % 2 != 0, "Median/quorum-not-odd-number");
        bar = bar_;
    }

    function kiss(address a) external note auth {
        require(a != address(0), "Median/no-contract-0");
        bud[a] = 1;
    }

    function diss(address a) external note auth {
        bud[a] = 0;
    }

    function kiss(address[] calldata a) external note auth {
        for(uint i = 0; i < a.length; i++) {
            require(a[i] != address(0), "Median/no-contract-0");
            bud[a[i]] = 1;
        }
    }

    function diss(address[] calldata a) external note auth {
        for(uint i = 0; i < a.length; i++) {
            bud[a[i]] = 0;
        }
    }
}

contract MedianETHUSD is Median {
    bytes32 public constant wat = "ETHUSD";

    function recover(uint256 val_, uint256 age_, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        return ecrecover(
            keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", keccak256(abi.encodePacked(val_, age_, wat)))),
            v, r, s
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"val","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"age","type":"uint256"}],"name":"LogMedianPrice","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":"age","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"bar","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"bud","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"a","type":"address[]"}],"name":"diss","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"diss","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"a","type":"address[]"}],"name":"drop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"a","type":"address[]"}],"name":"kiss","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"kiss","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"a","type":"address[]"}],"name":"lift","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"orcl","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"peek","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256[]","name":"val_","type":"uint256[]"},{"internalType":"uint256[]","name":"age_","type":"uint256[]"},{"internalType":"uint8[]","name":"v","type":"uint8[]"},{"internalType":"bytes32[]","name":"r","type":"bytes32[]"},{"internalType":"bytes32[]","name":"s","type":"bytes32[]"}],"name":"poke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"read","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":false,"inputs":[{"internalType":"uint256","name":"bar_","type":"uint256"}],"name":"setBar","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint8","name":"","type":"uint8"}],"name":"slot","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":true,"inputs":[],"name":"wat","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"}]

6080604090815260016002819055336000908152602081905291909120556115f08061002c6000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806365c4ce7a116100ad578063943181061161007157806394318106146105765780639c52a7f1146105e4578063bf353dbb1461060a578063f29c29c414610630578063febb0f7e1461065657610121565b806365c4ce7a146102d257806365fae35e146102f857806389bbb8b21461031e5780638d0e5a9a146104cc5780638ef5eaf01461050857610121565b806346d4577d116100f457806346d4577d1461020c5780634ca299231461027a5780634fce7a2a1461028257806357de26a4146102a857806359e02dd7146102b057610121565b8063020b2e32146101265780631b25b65f1461015e578063262a9dff146101ce578063352d3fba146101ef575b600080fd5b61014c6004803603602081101561013c57600080fd5b50356001600160a01b031661065e565b60405190815260200160405180910390f35b6101cc6004803603602081101561017457600080fd5b810190602081018135600160201b81111561018e57600080fd5b8201836020820111156101a057600080fd5b803590602001918460208302840111600160201b831117156101c157600080fd5b509092509050610672565b005b6101d66107c5565b60405163ffffffff909116815260200160405180910390f35b6101cc6004803603602081101561020557600080fd5b50356107d8565b6101cc6004803603602081101561022257600080fd5b810190602081018135600160201b81111561023c57600080fd5b82018360208201111561024e57600080fd5b803590602001918460208302840111600160201b8311171561026f57600080fd5b509092509050610908565b61014c6109af565b61014c6004803603602081101561029857600080fd5b50356001600160a01b03166109bc565b61014c6109d0565b6102b8610a9f565b604051918252151560208201526040908101905180910390f35b6101cc600480360360208110156102e857600080fd5b50356001600160a01b0316610b18565b6101cc6004803603602081101561030e57600080fd5b50356001600160a01b0316610bbc565b6101cc600480360360a081101561033457600080fd5b810190602081018135600160201b81111561034e57600080fd5b82018360208201111561036057600080fd5b803590602001918460208302840111600160201b8311171561038157600080fd5b919390929091602081019035600160201b81111561039e57600080fd5b8201836020820111156103b057600080fd5b803590602001918460208302840111600160201b831117156103d157600080fd5b919390929091602081019035600160201b8111156103ee57600080fd5b82018360208201111561040057600080fd5b803590602001918460208302840111600160201b8311171561042157600080fd5b919390929091602081019035600160201b81111561043e57600080fd5b82018360208201111561045057600080fd5b803590602001918460208302840111600160201b8311171561047157600080fd5b919390929091602081019035600160201b81111561048e57600080fd5b8201836020820111156104a057600080fd5b803590602001918460208302840111600160201b831117156104c157600080fd5b509092509050610c63565b6104ec600480360360208110156104e257600080fd5b503560ff16610fb0565b6040516001600160a01b03909116815260200160405180910390f35b6101cc6004803603602081101561051e57600080fd5b810190602081018135600160201b81111561053857600080fd5b82018360208201111561054a57600080fd5b803590602001918460208302840111600160201b8311171561056b57600080fd5b509092509050610fcd565b6101cc6004803603602081101561058c57600080fd5b810190602081018135600160201b8111156105a657600080fd5b8201836020820111156105b857600080fd5b803590602001918460208302840111600160201b831117156105d957600080fd5b5090925090506110d4565b6101cc600480360360208110156105fa57600080fd5b50356001600160a01b03166112e9565b61014c6004803603602081101561062057600080fd5b50356001600160a01b031661138d565b6101cc6004803603602081101561064657600080fd5b50356001600160a01b03166113a1565b61014c611499565b600360205280600052604060002054905081565b336000908152602081905260409020546001146106c35760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760008383838181106106dc57fe5b905060200201356001600160a01b03166001600160a01b0316141561073e5760405162461bcd60e51b815260206004820152601460248201527304d656469616e2f6e6f2d636f6e74726163742d360641b604482015260640160405180910390fd5b60016004600085858581811061075057fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b03168152602001908152602001600020556001016106c6565b505961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a4505050565b600154600160801b900463ffffffff1681565b336000908152602081905260409020546001146108295760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b600081116108755760405162461bcd60e51b81526020600482015260156024820152744d656469616e2f71756f72756d2d69732d7a65726f60581b604482015260640160405180910390fd5b600281066108c95760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f71756f72756d2d6e6f742d6f64642d6e756d62657200000000604482015260640160405180910390fd5b60028190555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b336000908152602081905260409020546001146109595760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760006004600085858581811061097657fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b031681526020019081526020016000205560010161095c565b651155121554d160d21b81565b600460205280600052604060002054905081565b33600090815260046020526040812054600114610a335760405162461bcd60e51b815260206004820152601f60248201527f4d656469616e2f636f6e74726163742d6e6f742d77686974656c697374656400604482015260640160405180910390fd5b6001546001600160801b0316610a8f5760405162461bcd60e51b815260206004820152601960248201527f4d656469616e2f696e76616c69642d70726963652d6665656400000000000000604482015260640160405180910390fd5b506001546001600160801b031690565b3360009081526004602052806040812054600114610b035760405162461bcd60e51b815260206004820152601f60248201527f4d656469616e2f636f6e74726163742d6e6f742d77686974656c697374656400604482015260640160405180910390fd5b50506001546001600160801b03168015159091565b33600090815260208190526040902054600114610b695760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152600460205260408120555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b33600090815260208190526040902054600114610c0d5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260019060409020555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b6002548914610cad5760405162461bcd60e51b81526020600482015260126024820152714d656469616e2f6261722d746f6f2d6c6f7760701b604482015260640160405180910390fd5b6001546000908190600160801b900463ffffffff16815b8c811015610eeb576000610d388f8f84818110610cdd57fe5b905060200201358e8e85818110610cf057fe5b905060200201358d8d86818110610d0357fe5b9050602002013560ff168c8c87818110610d1957fe5b905060200201358b8b88818110610d2c57fe5b9050602002013561149f565b6001600160a01b038116600090815260036020529091506040902054600114610d9f5760405162461bcd60e51b81526020600482015260156024820152744d656469616e2f696e76616c69642d6f7261636c6560581b604482015260640160405180910390fd5b828d8d84818110610dac57fe5b9050602002013511610dfb5760405162461bcd60e51b81526020600482015260146024820152734d656469616e2f7374616c652d6d65737361676560601b604482015260640160405180910390fd5b838f8f84818110610e0857fe5b905060200201351015610e615760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f6d657373616765732d6e6f742d696e2d6f7264657200000000604482015260640160405180910390fd5b8e8e83818110610e6d57fe5b602002919091013594505060ff609882901c16600286821c0615610ed75760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f6f7261636c652d616c72656164792d7369676e656400000000604482015260640160405180910390fd5b60ff1660020a949094019350600101610cc4565b508c8c600181901c818110610efc57fe5b600180546fffffffffffffffffffffffffffffffff191660209290920293909301356001600160801b039081169190911763ffffffff60801b1916600160801b4263ffffffff908116820292909217948590557fb78ebc573f1f889ca9e1e0fb62c843c836f3d3a2e1f43ef62940e9b894f4ea4c949283169350909104166040516001600160801b03909216825263ffffffff1660208201526040908101905180910390a150505050505050505050505050565b6005602052806000526040600020546001600160a01b0316905081565b3360009081526020819052604090205460011461101e5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760006003600085858581811061103b57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b03168152602001908152602001600020556000600581609886868681811061107f57fe5b905060200201356001600160a01b03166001600160a01b0316901c60ff1660ff16815260200190815260200160002080546001600160a01b0319166001600160a01b0392909216919091179055600101611021565b336000908152602081905260409020546001146111255760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b8181101561078957600083838381811061113e57fe5b905060200201356001600160a01b03166001600160a01b0316141561119e5760405162461bcd60e51b815260206004820152601260248201527104d656469616e2f6e6f2d6f7261636c652d360741b604482015260640160405180910390fd5b600060988484848181106111ae57fe5b905060200201356001600160a01b03166001600160a01b0316901c905060006001600160a01b0316600560008360ff1660ff168152602001908152602001600020546001600160a01b03161461124a5760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f7369676e65722d616c72656164792d65786973747300000000604482015260640160405180910390fd5b60016003600086868681811061125c57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b031681526020019081526020016000205583838381811061129957fe5b905060200201356001600160a01b0316600560008360ff1660ff16815260200190815260200160002080546001600160a01b0319166001600160a01b039290921691909117905550600101611128565b3360009081526020819052604090205460011461133a5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260408120555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b600060205280600052604060002054905081565b336000908152602081905260409020546001146113f25760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166114435760405162461bcd60e51b815260206004820152601460248201527304d656469616e2f6e6f2d636f6e74726163742d360641b604482015260640160405180910390fd5b6001600160a01b0381166000908152600460205260019060409020555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b60025481565b600060018686651155121554d160d21b604051602001808481526020018381526020018281526020019350505050604051602081830303815290604052805190602001206040517f19457468657265756d205369676e6564204d6573736167653a0a3332000000006020820152603c810191909152605c016040516020818303038152906040528051906020012085858560405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015611587573d6000803e3d6000fd5b50505060206040510351969550505050505056fe4d656469616e2f6e6f742d617574686f72697a65640000000000000000000000a265627a7a723158209ad13e6b0b368fc1552fd5884613f8a7d4231e29bdfd2467a628a5b048b0701264736f6c634300050c0032

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806365c4ce7a116100ad578063943181061161007157806394318106146105765780639c52a7f1146105e4578063bf353dbb1461060a578063f29c29c414610630578063febb0f7e1461065657610121565b806365c4ce7a146102d257806365fae35e146102f857806389bbb8b21461031e5780638d0e5a9a146104cc5780638ef5eaf01461050857610121565b806346d4577d116100f457806346d4577d1461020c5780634ca299231461027a5780634fce7a2a1461028257806357de26a4146102a857806359e02dd7146102b057610121565b8063020b2e32146101265780631b25b65f1461015e578063262a9dff146101ce578063352d3fba146101ef575b600080fd5b61014c6004803603602081101561013c57600080fd5b50356001600160a01b031661065e565b60405190815260200160405180910390f35b6101cc6004803603602081101561017457600080fd5b810190602081018135600160201b81111561018e57600080fd5b8201836020820111156101a057600080fd5b803590602001918460208302840111600160201b831117156101c157600080fd5b509092509050610672565b005b6101d66107c5565b60405163ffffffff909116815260200160405180910390f35b6101cc6004803603602081101561020557600080fd5b50356107d8565b6101cc6004803603602081101561022257600080fd5b810190602081018135600160201b81111561023c57600080fd5b82018360208201111561024e57600080fd5b803590602001918460208302840111600160201b8311171561026f57600080fd5b509092509050610908565b61014c6109af565b61014c6004803603602081101561029857600080fd5b50356001600160a01b03166109bc565b61014c6109d0565b6102b8610a9f565b604051918252151560208201526040908101905180910390f35b6101cc600480360360208110156102e857600080fd5b50356001600160a01b0316610b18565b6101cc6004803603602081101561030e57600080fd5b50356001600160a01b0316610bbc565b6101cc600480360360a081101561033457600080fd5b810190602081018135600160201b81111561034e57600080fd5b82018360208201111561036057600080fd5b803590602001918460208302840111600160201b8311171561038157600080fd5b919390929091602081019035600160201b81111561039e57600080fd5b8201836020820111156103b057600080fd5b803590602001918460208302840111600160201b831117156103d157600080fd5b919390929091602081019035600160201b8111156103ee57600080fd5b82018360208201111561040057600080fd5b803590602001918460208302840111600160201b8311171561042157600080fd5b919390929091602081019035600160201b81111561043e57600080fd5b82018360208201111561045057600080fd5b803590602001918460208302840111600160201b8311171561047157600080fd5b919390929091602081019035600160201b81111561048e57600080fd5b8201836020820111156104a057600080fd5b803590602001918460208302840111600160201b831117156104c157600080fd5b509092509050610c63565b6104ec600480360360208110156104e257600080fd5b503560ff16610fb0565b6040516001600160a01b03909116815260200160405180910390f35b6101cc6004803603602081101561051e57600080fd5b810190602081018135600160201b81111561053857600080fd5b82018360208201111561054a57600080fd5b803590602001918460208302840111600160201b8311171561056b57600080fd5b509092509050610fcd565b6101cc6004803603602081101561058c57600080fd5b810190602081018135600160201b8111156105a657600080fd5b8201836020820111156105b857600080fd5b803590602001918460208302840111600160201b831117156105d957600080fd5b5090925090506110d4565b6101cc600480360360208110156105fa57600080fd5b50356001600160a01b03166112e9565b61014c6004803603602081101561062057600080fd5b50356001600160a01b031661138d565b6101cc6004803603602081101561064657600080fd5b50356001600160a01b03166113a1565b61014c611499565b600360205280600052604060002054905081565b336000908152602081905260409020546001146106c35760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760008383838181106106dc57fe5b905060200201356001600160a01b03166001600160a01b0316141561073e5760405162461bcd60e51b815260206004820152601460248201527304d656469616e2f6e6f2d636f6e74726163742d360641b604482015260640160405180910390fd5b60016004600085858581811061075057fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b03168152602001908152602001600020556001016106c6565b505961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a4505050565b600154600160801b900463ffffffff1681565b336000908152602081905260409020546001146108295760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b600081116108755760405162461bcd60e51b81526020600482015260156024820152744d656469616e2f71756f72756d2d69732d7a65726f60581b604482015260640160405180910390fd5b600281066108c95760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f71756f72756d2d6e6f742d6f64642d6e756d62657200000000604482015260640160405180910390fd5b60028190555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b336000908152602081905260409020546001146109595760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760006004600085858581811061097657fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b031681526020019081526020016000205560010161095c565b651155121554d160d21b81565b600460205280600052604060002054905081565b33600090815260046020526040812054600114610a335760405162461bcd60e51b815260206004820152601f60248201527f4d656469616e2f636f6e74726163742d6e6f742d77686974656c697374656400604482015260640160405180910390fd5b6001546001600160801b0316610a8f5760405162461bcd60e51b815260206004820152601960248201527f4d656469616e2f696e76616c69642d70726963652d6665656400000000000000604482015260640160405180910390fd5b506001546001600160801b031690565b3360009081526004602052806040812054600114610b035760405162461bcd60e51b815260206004820152601f60248201527f4d656469616e2f636f6e74726163742d6e6f742d77686974656c697374656400604482015260640160405180910390fd5b50506001546001600160801b03168015159091565b33600090815260208190526040902054600114610b695760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152600460205260408120555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b33600090815260208190526040902054600114610c0d5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260019060409020555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b6002548914610cad5760405162461bcd60e51b81526020600482015260126024820152714d656469616e2f6261722d746f6f2d6c6f7760701b604482015260640160405180910390fd5b6001546000908190600160801b900463ffffffff16815b8c811015610eeb576000610d388f8f84818110610cdd57fe5b905060200201358e8e85818110610cf057fe5b905060200201358d8d86818110610d0357fe5b9050602002013560ff168c8c87818110610d1957fe5b905060200201358b8b88818110610d2c57fe5b9050602002013561149f565b6001600160a01b038116600090815260036020529091506040902054600114610d9f5760405162461bcd60e51b81526020600482015260156024820152744d656469616e2f696e76616c69642d6f7261636c6560581b604482015260640160405180910390fd5b828d8d84818110610dac57fe5b9050602002013511610dfb5760405162461bcd60e51b81526020600482015260146024820152734d656469616e2f7374616c652d6d65737361676560601b604482015260640160405180910390fd5b838f8f84818110610e0857fe5b905060200201351015610e615760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f6d657373616765732d6e6f742d696e2d6f7264657200000000604482015260640160405180910390fd5b8e8e83818110610e6d57fe5b602002919091013594505060ff609882901c16600286821c0615610ed75760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f6f7261636c652d616c72656164792d7369676e656400000000604482015260640160405180910390fd5b60ff1660020a949094019350600101610cc4565b508c8c600181901c818110610efc57fe5b600180546fffffffffffffffffffffffffffffffff191660209290920293909301356001600160801b039081169190911763ffffffff60801b1916600160801b4263ffffffff908116820292909217948590557fb78ebc573f1f889ca9e1e0fb62c843c836f3d3a2e1f43ef62940e9b894f4ea4c949283169350909104166040516001600160801b03909216825263ffffffff1660208201526040908101905180910390a150505050505050505050505050565b6005602052806000526040600020546001600160a01b0316905081565b3360009081526020819052604090205460011461101e5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b818110156107895760006003600085858581811061103b57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b03168152602001908152602001600020556000600581609886868681811061107f57fe5b905060200201356001600160a01b03166001600160a01b0316901c60ff1660ff16815260200190815260200160002080546001600160a01b0319166001600160a01b0392909216919091179055600101611021565b336000908152602081905260409020546001146111255760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b60005b8181101561078957600083838381811061113e57fe5b905060200201356001600160a01b03166001600160a01b0316141561119e5760405162461bcd60e51b815260206004820152601260248201527104d656469616e2f6e6f2d6f7261636c652d360741b604482015260640160405180910390fd5b600060988484848181106111ae57fe5b905060200201356001600160a01b03166001600160a01b0316901c905060006001600160a01b0316600560008360ff1660ff168152602001908152602001600020546001600160a01b03161461124a5760405162461bcd60e51b815260206004820152601c60248201527f4d656469616e2f7369676e65722d616c72656164792d65786973747300000000604482015260640160405180910390fd5b60016003600086868681811061125c57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b031681526020019081526020016000205583838381811061129957fe5b905060200201356001600160a01b0316600560008360ff1660ff16815260200190815260200160002080546001600160a01b0319166001600160a01b039290921691909117905550600101611128565b3360009081526020819052604090205460011461133a5760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260408120555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b600060205280600052604060002054905081565b336000908152602081905260409020546001146113f25760405162461bcd60e51b8152602060048201526015602482015260008051602061159c833981519152604482015260640160405180910390fd5b6001600160a01b0381166114435760405162461bcd60e51b815260206004820152601460248201527304d656469616e2f6e6f2d636f6e74726163742d360641b604482015260640160405180910390fd5b6001600160a01b0381166000908152600460205260019060409020555961012081016040526020815260e0602082015260e060006040830137602435600435336001600160e01b03196000351661012085a45050565b60025481565b600060018686651155121554d160d21b604051602001808481526020018381526020018281526020019350505050604051602081830303815290604052805190602001206040517f19457468657265756d205369676e6564204d6573736167653a0a3332000000006020820152603c810191909152605c016040516020818303038152906040528051906020012085858560405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015611587573d6000803e3d6000fd5b50505060206040510351969550505050505056fe4d656469616e2f6e6f742d617574686f72697a65640000000000000000000000a265627a7a723158209ad13e6b0b368fc1552fd5884613f8a7d4231e29bdfd2467a628a5b048b0701264736f6c634300050c0032

6216:389:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6216:389:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2517:40;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2517:40:0;-1:-1:-1;;;;;2517:40:0;;:::i;:::-;;;;;;;;;;;;;;;5839:214;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5839:214:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5839:214:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5839:214:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;5839:214:0;;-1:-1:-1;5839:214:0;-1:-1:-1;5839:214:0;:::i;:::-;;2333:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;5414:196;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5414:196:0;;:::i;6061:148::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6061:148:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;6061:148:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6061:148:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;6061:148:0;;-1:-1:-1;6061:148:0;-1:-1:-1;6061:148:0;:::i;6255:38::-;;;:::i;2612:39::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2612:39:0;-1:-1:-1;;;;;2612:39:0;;:::i;2990:138::-;;;:::i;3136:98::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5758:73;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5758:73:0;-1:-1:-1;;;;;5758:73:0;;:::i;2057:65::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2057:65:0;-1:-1:-1;;;;;2057:65:0;;:::i;3550:1259::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;3550:1259:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;3550:1259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3550:1259:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3550:1259:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;3550:1259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3550:1259:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3550:1259:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;3550:1259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3550:1259:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3550:1259:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;3550:1259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3550:1259:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3550:1259:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;3550:1259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3550:1259:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;3550:1259:0;;-1:-1:-1;3550:1259:0;-1:-1:-1;3550:1259:0;:::i;2700:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2700:38:0;;;;:::i;:::-;;;-1:-1:-1;;;;;2700:38:0;;;;;;;;;;;;;;5197:209;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5197:209:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5197:209:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5197:209:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;5197:209:0;;-1:-1:-1;5197:209:0;-1:-1:-1;5197:209:0;:::i;4817:372::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4817:372:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;4817:372:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4817:372:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;4817:372:0;;-1:-1:-1;4817:372:0;-1:-1:-1;4817:372:0;:::i;2128:65::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2128:65:0;-1:-1:-1;;;;;2128:65:0;;:::i;2012:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2012:38:0;-1:-1:-1;;;;;2012:38:0;;:::i;5618:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5618:132:0;-1:-1:-1;;;;;5618:132:0;;:::i;2443:22::-;;;:::i;2517:40::-;;;;;;;;;;;;-1:-1:-1;2517:40:0;:::o;5839:214::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;5909:6;5905:141;5921:12;;;5905:141;;;5979:1;5963;;5965;5963:4;;;;;;;;;;;;;-1:-1:-1;;;;;5963:4:0;-1:-1:-1;;;;;5963:18:0;;;5955:51;;;;-1:-1:-1;;;5955:51:0;;;;;;;;;;;;-1:-1:-1;;;5955:51:0;;;;;;;;;;;;;;6033:1;6021:3;:9;6025:1;;6027;6025:4;;;;;;;;;;;;;-1:-1:-1;;;;;6025:4:0;-1:-1:-1;;;;;6021:9:0;-1:-1:-1;;;;;6021:9:0;;;;;;;;;;;;:13;5935:3;;5905:141;;;;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;;:::o;2333:18::-;;;-1:-1:-1;;;2333:18:0;;;;;:::o;5414:196::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;5489:1;5482:4;:8;5474:42;;;;-1:-1:-1;;;5474:42:0;;;;;;;;;;;;-1:-1:-1;;;5474:42:0;;;;;;;;;;;;;;5542:1;5535:4;:8;5527:54;;;;-1:-1:-1;;;5527:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5592:3;:10;;;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;:::o;6061:148::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;6131:6;6127:75;6143:12;;;6127:75;;;6189:1;6177:3;:9;6181:1;;6183;6181:4;;;;;;;;;;;;;-1:-1:-1;;;;;6181:4:0;-1:-1:-1;;;;;6177:9:0;-1:-1:-1;;;;;6177:9:0;;;;;;;;;;;;:13;6157:3;;6127:75;;6255:38;-1:-1:-1;;;6255:38:0;:::o;2612:39::-;;;;;;;;;;;;-1:-1:-1;2612:39:0;:::o;2990:138::-;2775:10;3034:7;2771:15;;;:3;:15;;;3034:7;2771:15;;2790:1;2771:20;2763:64;;;;-1:-1:-1;;;2763:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;3062:3;;-1:-1:-1;;;;;3062:3:0;3054:45;;;;-1:-1:-1;;;3054:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3117:3:0;;-1:-1:-1;;;;;3117:3:0;2990:138;:::o;3136:98::-;2775:10;3180:7;2771:15;;;:3;:15;;3180:7;2771:15;3180:7;2771:15;;2790:1;2771:20;2763:64;;;;-1:-1:-1;;;2763:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3213:3:0;;-1:-1:-1;;;;;3213:3:0;3218:7;;;3136:98;;:::o;5758:73::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;-1:-1:-1;;;;;5813:6:0;;5822:1;5813:6;;;:3;:6;;;5822:1;5813:6;:10;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;:::o;2057:65::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;-1:-1:-1;;;;;2105:10:0;;:5;:10;;;;;;;2118:1;;2105:10;;;:14;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;:::o;3550:1259::-;3745:3;;3730:18;;3722:49;;;;-1:-1:-1;;;3722:49:0;;;;;;;;;;;;-1:-1:-1;;;3722:49:0;;;;;;;;;;;;;;3853:3;;3784:13;;;;-1:-1:-1;;;3853:3:0;;;;3784:13;3869:801;3886:15;;;3869:801;;;3995:14;4012:43;4020:4;;4025:1;4020:7;;;;;;;;;;;;;4029:4;;4034:1;4029:7;;;;;;;;;;;;;4038:1;;4040;4038:4;;;;;;;;;;;;;;;4044:1;;4046;4044:4;;;;;;;;;;;;;4050:1;;4052;4050:4;;;;;;;;;;;;;4012:7;:43::i;:::-;-1:-1:-1;;;;;4125:12:0;;;;;;:4;:12;;3995:60;;-1:-1:-1;4125:12:0;;;;4141:1;4125:17;4117:51;;;;-1:-1:-1;;;4117:51:0;;;;;;;;;;;;-1:-1:-1;;;4117:51:0;;;;;;;;;;;;;;4265:3;4255:4;;4260:1;4255:7;;;;;;;;;;;;;:13;4247:46;;;;-1:-1:-1;;;4247:46:0;;;;;;;;;;;;-1:-1:-1;;;4247:46:0;;;;;;;;;;;;;;4368:4;4357;;4362:1;4357:7;;;;;;;;;;;;;:15;;4349:56;;;;-1:-1:-1;;;4349:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4427:4;;4432:1;4427:7;;;;;;;;;;;;;;;-1:-1:-1;;4517:22:0;4536:3;4517:22;;;;4579:1;4564:11;;;4563:17;:22;4555:63;;;;-1:-1:-1;;;4555:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4642:16;;4650:1;4642:16;4633:25;;;;;-1:-1:-1;3903:3:0;;3869:801;;;-1:-1:-1;4696:4:0;;4716:1;4701:16;;;4696:22;;;;;;;4682:3;:37;;-1:-1:-1;;4682:37:0;4696:22;;;;;;;;;;-1:-1:-1;;;;;4682:37:0;;;;;;;-1:-1:-1;;;;4730:29:0;-1:-1:-1;;;4743:15:0;4730:29;;;;;;;;;;;;;;4777:24;;4792:3;;;;-1:-1:-1;4797:3:0;;;;4777:24;;-1:-1:-1;;;;;4777:24:0;;;;;;;;;;;;;;;;;;;;;;3550:1259;;;;;;;;;;;;;:::o;2700:38::-;;;;;;;;;;;-1:-1:-1;;;;;2700:38:0;;-1:-1:-1;2700:38:0;:::o;5197:209::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;5267:6;5262:137;5279:12;;;5262:137;;;5326:1;5313:4;:10;5318:1;;5320;5318:4;;;;;;;;;;;;;-1:-1:-1;;;;;5318:4:0;-1:-1:-1;;;;;5313:10:0;-1:-1:-1;;;;;5313:10:0;;;;;;;;;;;;:14;5386:1;5342:4;5386:1;5370:3;5361:1;;5363;5361:4;;;;;;;;;;;;;-1:-1:-1;;;;;5361:4:0;-1:-1:-1;;;;;5353:13:0;:20;;5342:33;;;;;;;;;;;;;;;:46;;-1:-1:-1;;;;;;5342:46:0;-1:-1:-1;;;;;5342:46:0;;;;;;;;;;-1:-1:-1;5293:3:0;5262:137;;4817:372;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;4888:6;4883:299;4900:12;;;4883:299;;;4958:1;4942;;4944;4942:4;;;;;;;;;;;;;-1:-1:-1;;;;;4942:4:0;-1:-1:-1;;;;;4942:18:0;;;4934:49;;;;-1:-1:-1;;;4934:49:0;;;;;;;;;;;;-1:-1:-1;;;4934:49:0;;;;;;;;;;;;;;4998:7;5031:3;5022:1;;5024;5022:4;;;;;;;;;;;;;-1:-1:-1;;;;;5022:4:0;-1:-1:-1;;;;;5014:13:0;:20;;4998:37;;5077:1;-1:-1:-1;;;;;5058:21:0;:4;:7;5063:1;5058:7;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5058:7:0;:21;5050:62;;;;-1:-1:-1;;;5050:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5140:1;5127:4;:10;5132:1;;5134;5132:4;;;;;;;;;;;;;-1:-1:-1;;;;;5132:4:0;-1:-1:-1;;;;;5127:10:0;-1:-1:-1;;;;;5127:10:0;;;;;;;;;;;;:14;5166:1;;5168;5166:4;;;;;;;;;;;;;-1:-1:-1;;;;;5166:4:0;5156;:7;5161:1;5156:7;;;;;;;;;;;;;;;:14;;-1:-1:-1;;;;;;5156:14:0;-1:-1:-1;;;;;5156:14:0;;;;;;;;;;-1:-1:-1;;4914:3:0;4883:299;;2128:65;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;-1:-1:-1;;;;;2176:10:0;;2189:1;2176:10;;;;;;;;2189:1;2176:10;:14;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;:::o;2012:38::-;;;;;;;;;;;;-1:-1:-1;2012:38:0;:::o;5618:132::-;2238:10;2232:5;:17;;;;;;;;;;;2253:1;2232:22;2224:56;;;;-1:-1:-1;;;2224:56:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;2224:56:0;;;;;;;;;;;;;;-1:-1:-1;;;;;5681:15:0;;5673:48;;;;-1:-1:-1;;;5673:48:0;;;;;;;;;;;;-1:-1:-1;;;5673:48:0;;;;;;;;;;;;;;-1:-1:-1;;;;;5732:6:0;;;;;;:3;:6;;5741:1;;5732:6;;;:10;1208:5;1304:3;1298:4;1294:14;1288:4;1281:28;1379:4;1373;1366:18;1471:3;1464:4;1458;1454:15;1447:28;1558:3;1555:1;1548:4;1542;1538:15;1525:37;1880:2;1867:16;1817:1;1804:15;1735:6;-1:-1:-1;;;;;;1700:1:0;1687:15;1669:35;1608:3;1602:4;1597:333;1031:910;;:::o;2443:22::-;;;;:::o;6302:300::-;6401:7;6428:166;6542:4;6548;-1:-1:-1;;;6525:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6525:33:0;;;6515:44;;;;;;6462:98;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6462:98:0;;;6452:109;;;;;;6576:1;6579;6582;6428:166;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6428:166:0;;;;;;;;6421:173;6302:300;-1:-1:-1;;;;;;6302:300:0:o

bzzr://9ad13e6b0b368fc1552fd5884613f8a7d4231e29bdfd2467a628a5b048b07012