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 2020-03-10
*/

/*
========================================================================
!!!!!!!!!!!!!!
!!! NOTICE !!!
!!!!!!!!!!!!!!
This is a test contract very similar to the formal contract.
The actual code on the mainnet is at here:
    https://etherscan.io/address/0x35d1b3f3d7966a1dfe207aa4514c12a259a0492b#code
========================================================================
*/

/// vat.sol -- Dai CDP database

// Copyright (C) 2018 Rain <rainbreak@riseup.net>
//
// 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 Vat {
    // --- Auth ---
    mapping (address => uint) public wards;
    function rely(address usr) external note auth { require(live == 1, "Vat/not-live"); wards[usr] = 1; }
    function deny(address usr) external note auth { require(live == 1, "Vat/not-live"); wards[usr] = 0; }
    modifier auth {
        require(wards[msg.sender] == 1, "Vat/not-authorized");
        _;
    }

    mapping(address => mapping (address => uint)) public can;
    function hope(address usr) external note { can[msg.sender][usr] = 1; }
    function nope(address usr) external note { can[msg.sender][usr] = 0; }
    function wish(address bit, address usr) internal view returns (bool) {
        return either(bit == usr, can[bit][usr] == 1);
    }

    // --- Data ---
    struct Ilk {
        uint256 Art;   // Total Normalised Debt     [wad]
        uint256 rate;  // Accumulated Rates         [ray]
        uint256 spot;  // Price with Safety Margin  [ray]
        uint256 line;  // Debt Ceiling              [rad]
        uint256 dust;  // Urn Debt Floor            [rad]
    }
    struct Urn {
        uint256 ink;   // Locked Collateral  [wad]
        uint256 art;   // Normalised Debt    [wad]
    }

    mapping (bytes32 => Ilk)                       public ilks;
    mapping (bytes32 => mapping (address => Urn )) public urns;
    mapping (bytes32 => mapping (address => uint)) public gem;  // [wad]
    mapping (address => uint256)                   public dai;  // [rad]
    mapping (address => uint256)                   public sin;  // [rad]

    uint256 public debt;  // Total Dai Issued    [rad]
    uint256 public vice;  // Total Unbacked Dai  [rad]
    uint256 public Line;  // Total Debt Ceiling  [rad]
    uint256 public live;  // Access Flag

    // --- Logs ---
    event LogNote(
        bytes4   indexed  sig,
        bytes32  indexed  arg1,
        bytes32  indexed  arg2,
        bytes32  indexed  arg3,
        bytes             data
    ) anonymous;

    modifier note {
        _;
        assembly {
            // log an 'anonymous' event with a constant 6 words of calldata
            // and four indexed topics: the selector and the first three args
            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
                 calldataload(4),                     // arg1
                 calldataload(36),                    // arg2
                 calldataload(68)                     // arg3
                )
        }
    }

    // --- Init ---
    constructor() public {
        wards[msg.sender] = 1;
        live = 1;
    }

    // --- Math ---
    function add(uint x, int y) internal pure returns (uint z) {
        z = x + uint(y);
        require(y >= 0 || z <= x);
        require(y <= 0 || z >= x);
    }
    function sub(uint x, int y) internal pure returns (uint z) {
        z = x - uint(y);
        require(y <= 0 || z <= x);
        require(y >= 0 || z >= x);
    }
    function mul(uint x, int y) internal pure returns (int z) {
        z = int(x) * y;
        require(int(x) >= 0);
        require(y == 0 || z / y == int(x));
    }
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }
    function sub(uint x, uint y) internal pure returns (uint 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);
    }

    // --- Administration ---
    function init(bytes32 ilk) external note auth {
        require(ilks[ilk].rate == 0, "Vat/ilk-already-init");
        ilks[ilk].rate = 10 ** 27;
    }
    function file(bytes32 what, uint data) external note auth {
        require(live == 1, "Vat/not-live");
        if (what == "Line") Line = data;
        else revert("Vat/file-unrecognized-param");
    }
    function file(bytes32 ilk, bytes32 what, uint data) external note auth {
        require(live == 1, "Vat/not-live");
        if (what == "spot") ilks[ilk].spot = data;
        else if (what == "line") ilks[ilk].line = data;
        else if (what == "dust") ilks[ilk].dust = data;
        else revert("Vat/file-unrecognized-param");
    }
    function cage() external note auth {
        live = 0;
    }

    // --- Fungibility ---
    function slip(bytes32 ilk, address usr, int256 wad) external note auth {
        gem[ilk][usr] = add(gem[ilk][usr], wad);
    }
    function flux(bytes32 ilk, address src, address dst, uint256 wad) external note {
        require(wish(src, msg.sender), "Vat/not-allowed");
        gem[ilk][src] = sub(gem[ilk][src], wad);
        gem[ilk][dst] = add(gem[ilk][dst], wad);
    }
    function move(address src, address dst, uint256 rad) external note {
        require(wish(src, msg.sender), "Vat/not-allowed");
        dai[src] = sub(dai[src], rad);
        dai[dst] = add(dai[dst], rad);
    }

    function either(bool x, bool y) internal pure returns (bool z) {
        assembly{ z := or(x, y)}
    }
    function both(bool x, bool y) internal pure returns (bool z) {
        assembly{ z := and(x, y)}
    }

    // --- CDP Manipulation ---
    function frob(bytes32 i, address u, address v, address w, int dink, int dart) external note {
        // system is live
        require(live == 1, "Vat/not-live");

        Urn memory urn = urns[i][u];
        Ilk memory ilk = ilks[i];
        // ilk has been initialised
        require(ilk.rate != 0, "Vat/ilk-not-init");

        urn.ink = add(urn.ink, dink);
        urn.art = add(urn.art, dart);
        ilk.Art = add(ilk.Art, dart);

        int dtab = mul(ilk.rate, dart);
        uint tab = mul(ilk.rate, urn.art);
        debt     = add(debt, dtab);

        // either debt has decreased, or debt ceilings are not exceeded
        require(either(dart <= 0, both(mul(ilk.Art, ilk.rate) <= ilk.line, debt <= Line)), "Vat/ceiling-exceeded");
        // urn is either less risky than before, or it is safe
        require(either(both(dart <= 0, dink >= 0), tab <= mul(urn.ink, ilk.spot)), "Vat/not-safe");

        // urn is either more safe, or the owner consents
        require(either(both(dart <= 0, dink >= 0), wish(u, msg.sender)), "Vat/not-allowed-u");
        // collateral src consents
        require(either(dink <= 0, wish(v, msg.sender)), "Vat/not-allowed-v");
        // debt dst consents
        require(either(dart >= 0, wish(w, msg.sender)), "Vat/not-allowed-w");

        // urn has no debt, or a non-dusty amount
        require(either(urn.art == 0, tab >= ilk.dust), "Vat/dust");

        gem[i][v] = sub(gem[i][v], dink);
        dai[w]    = add(dai[w],    dtab);

        urns[i][u] = urn;
        ilks[i]    = ilk;
    }
    // --- CDP Fungibility ---
    function fork(bytes32 ilk, address src, address dst, int dink, int dart) external note {
        Urn storage u = urns[ilk][src];
        Urn storage v = urns[ilk][dst];
        Ilk storage i = ilks[ilk];

        u.ink = sub(u.ink, dink);
        u.art = sub(u.art, dart);
        v.ink = add(v.ink, dink);
        v.art = add(v.art, dart);

        uint utab = mul(u.art, i.rate);
        uint vtab = mul(v.art, i.rate);

        // both sides consent
        require(both(wish(src, msg.sender), wish(dst, msg.sender)), "Vat/not-allowed");

        // both sides safe
        require(utab <= mul(u.ink, i.spot), "Vat/not-safe-src");
        require(vtab <= mul(v.ink, i.spot), "Vat/not-safe-dst");

        // both sides non-dusty
        require(either(utab >= i.dust, u.art == 0), "Vat/dust-src");
        require(either(vtab >= i.dust, v.art == 0), "Vat/dust-dst");
    }
    // --- CDP Confiscation ---
    function grab(bytes32 i, address u, address v, address w, int dink, int dart) external note auth {
        Urn storage urn = urns[i][u];
        Ilk storage ilk = ilks[i];

        urn.ink = add(urn.ink, dink);
        urn.art = add(urn.art, dart);
        ilk.Art = add(ilk.Art, dart);

        int dtab = mul(ilk.rate, dart);

        gem[i][v] = sub(gem[i][v], dink);
        sin[w]    = sub(sin[w],    dtab);
        vice      = sub(vice,      dtab);
    }

    // --- Settlement ---
    function heal(uint rad) external note {
        address u = msg.sender;
        sin[u] = sub(sin[u], rad);
        dai[u] = sub(dai[u], rad);
        vice   = sub(vice,   rad);
        debt   = sub(debt,   rad);
    }
    function suck(address u, address v, uint rad) external note auth {
        sin[u] = add(sin[u], rad);
        dai[v] = add(dai[v], rad);
        vice   = add(vice,   rad);
        debt   = add(debt,   rad);
    }

    // --- Rates ---
    function fold(bytes32 i, address u, int rate) external note auth {
        require(live == 1, "Vat/not-live");
        Ilk storage ilk = ilks[i];
        ilk.rate = add(ilk.rate, rate);
        int rad  = mul(ilk.Art, rate);
        dai[u]   = add(dai[u], rad);
        debt     = add(debt,   rad);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":true,"inputs":[{"indexed":true,"internalType":"bytes4","name":"sig","type":"bytes4"},{"indexed":true,"internalType":"bytes32","name":"arg1","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"arg2","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"arg3","type":"bytes32"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"LogNote","type":"event"},{"constant":true,"inputs":[],"name":"Line","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"cage","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"can","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"dai","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"debt","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":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"uint256","name":"data","type":"uint256"}],"name":"file","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":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"flux","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"i","type":"bytes32"},{"internalType":"address","name":"u","type":"address"},{"internalType":"int256","name":"rate","type":"int256"}],"name":"fold","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"int256","name":"dink","type":"int256"},{"internalType":"int256","name":"dart","type":"int256"}],"name":"fork","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"i","type":"bytes32"},{"internalType":"address","name":"u","type":"address"},{"internalType":"address","name":"v","type":"address"},{"internalType":"address","name":"w","type":"address"},{"internalType":"int256","name":"dink","type":"int256"},{"internalType":"int256","name":"dart","type":"int256"}],"name":"frob","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"address","name":"","type":"address"}],"name":"gem","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"i","type":"bytes32"},{"internalType":"address","name":"u","type":"address"},{"internalType":"address","name":"v","type":"address"},{"internalType":"address","name":"w","type":"address"},{"internalType":"int256","name":"dink","type":"int256"},{"internalType":"int256","name":"dart","type":"int256"}],"name":"grab","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"rad","type":"uint256"}],"name":"heal","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"hope","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"ilks","outputs":[{"internalType":"uint256","name":"Art","type":"uint256"},{"internalType":"uint256","name":"rate","type":"uint256"},{"internalType":"uint256","name":"spot","type":"uint256"},{"internalType":"uint256","name":"line","type":"uint256"},{"internalType":"uint256","name":"dust","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"init","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"live","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rad","type":"uint256"}],"name":"move","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"nope","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"sin","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"address","name":"usr","type":"address"},{"internalType":"int256","name":"wad","type":"int256"}],"name":"slip","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"u","type":"address"},{"internalType":"address","name":"v","type":"address"},{"internalType":"uint256","name":"rad","type":"uint256"}],"name":"suck","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"},{"internalType":"address","name":"","type":"address"}],"name":"urns","outputs":[{"internalType":"uint256","name":"ink","type":"uint256"},{"internalType":"uint256","name":"art","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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"}]

608060405234801561001057600080fd5b50336000908152602081905260409020600190819055600a55612005806100386000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c80637cdd3fde116100f9578063bb35783b11610097578063dc4d20fa11610071578063dc4d20fa146105c1578063f059212a146105e7578063f24e23eb1461060d578063f37ac61c14610643576101c4565b8063bb35783b14610516578063bf353dbb1461054c578063d9638d3614610572576101c4565b80639c52a7f1116100d35780639c52a7f114610490578063a3b22fc4146104b6578063b65337df146104dc578063babe8a3f1461050e576101c4565b80637cdd3fde14610414578063870c616d14610446578063957aa58c14610488576101c4565b80634538c4eb11610166578063692450091161014057806369245009146103565780636c25b3461461035e57806376088703146103845780637bab3f40146103cc576101c4565b80634538c4eb146102c65780636111be2e146102f457806365fae35e14610330576101c4565b80632424be5c116101a25780632424be5c1461023a57806329ae81141461027e5780632d61a355146102a15780633b663195146102a9576101c4565b80630dca59c1146101c95780631a0b287e146101e3578063214414d51461020e575b600080fd5b6101d1610660565b60405190815260200160405180910390f35b61020c600480360360608110156101f957600080fd5b5080359060208101359060400135610666565b005b6101d16004803603604081101561022457600080fd5b50803590602001356001600160a01b03166107fe565b6102666004803603604081101561025057600080fd5b50803590602001356001600160a01b0316610820565b60405191825260208201526040908101905180910390f35b61020c6004803603604081101561029457600080fd5b508035906020013561084a565b6101d1610931565b61020c600480360360208110156102bf57600080fd5b5035610937565b6101d1600480360360408110156102dc57600080fd5b506001600160a01b0381358116916020013516610a3e565b61020c6004803603608081101561030a57600080fd5b508035906001600160a01b03602082013581169160408101359091169060600135610a60565b61020c6004803603602081101561034657600080fd5b50356001600160a01b0316610b9f565b61020c610c8d565b6101d16004803603602081101561037457600080fd5b50356001600160a01b0316610d1e565b61020c600480360360c081101561039a57600080fd5b508035906001600160a01b03602082013581169160408101358216916060820135169060808101359060a00135610d32565b61020c600480360360c08110156103e257600080fd5b508035906001600160a01b03602082013581169160408101358216916060820135169060808101359060a00135611255565b61020c6004803603606081101561042a57600080fd5b508035906001600160a01b036020820135169060400135611411565b61020c600480360360a081101561045c57600080fd5b508035906001600160a01b036020820135811691604081013590911690606081013590608001356114fa565b6101d16117d4565b61020c600480360360208110156104a657600080fd5b50356001600160a01b03166117da565b61020c600480360360208110156104cc57600080fd5b50356001600160a01b03166118c5565b61020c600480360360608110156104f257600080fd5b508035906001600160a01b03602082013516906040013561192d565b6101d1611a84565b61020c6004803603606081101561052c57600080fd5b506001600160a01b03813581169160208101359091169060400135611a8a565b6101d16004803603602081101561056257600080fd5b50356001600160a01b0316611b8c565b61058f6004803603602081101561058857600080fd5b5035611ba0565b604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390f35b61020c600480360360208110156105d757600080fd5b50356001600160a01b0316611bcf565b6101d1600480360360208110156105fd57600080fd5b50356001600160a01b0316611c34565b61020c6004803603606081101561062357600080fd5b506001600160a01b03813581169160208101359091169060400135611c48565b61020c6004803603602081101561065957600080fd5b5035611d6f565b60075481565b336000908152602081905260409020546001146106b75760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146106fc5760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b81631cdc1bdd60e21b14156107245760008381526002602052819060409020600201556107c0565b81636c696e6560e01b141561074c5760008381526002602052819060409020600301556107c0565b8163191d5cdd60e21b14156107745760008381526002602052819060409020600401556107c0565b60405162461bcd60e51b815260206004820152601b60248201527f5661742f66696c652d756e7265636f676e697a65642d706172616d0000000000604482015260640160405180910390fd5b5961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b6004602052816000526040600020602052806000526040600020549150829050565b60036020528160005260406000206020528060005260406000208054600190910154909250905082565b3360009081526020819052604090205460011461089b5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146108e05760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b81634c696e6560e01b14156107745760098190555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a4505050565b60085481565b336000908152602081905260409020546001146109885760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600081815260026020526040902060010154156109e25760405162461bcd60e51b815260206004820152601460248201527315985d0bda5b1acb585b1c9958591e4b5a5b9a5d60621b604482015260640160405180910390fd5b600081815260026020526b033b2e3c9fd0803ce80000009060409020600101555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b6001602052816000526040600020602052806000526040600020549150829050565b610a6a8333611e3b565b610aac5760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b60008481526004602052610ade90604090206001600160a01b0385166000908152602091909152604090205482611e88565b60008581526004602052604090206001600160a01b0385166000908152602091909152604090205560008481526004602052610b3890604090206001600160a01b0384166000908152602091909152604090205482611e98565b60008581526004602052604090206001600160a01b038416600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050505050565b33600090815260208190526040902054600114610bf05760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a54600114610c355760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260019060409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b33600090815260208190526040902054600114610cde5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6000600a555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450565b600560205280600052604060002054905081565b600a54600114610d775760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b610d7f611f6a565b60008781526003602052604090206001600160a01b038716600090815260209190915260409020604051604080820190528154815260019091015460208201529050610dc9611f81565b600088815260026020526040902060405160a08101604090815282548252600183015460208301908152600284015491830191909152600383015460608301526004909201546080820152915051610e5a5760405162461bcd60e51b815260206004820152601060248201526f15985d0bda5b1acb5b9bdd0b5a5b9a5d60821b604482015260640160405180910390fd5b610e65825185611ea8565b8252610e75602083015184611ea8565b6020830152610e85815184611ea8565b81526000610e97602083015185611edd565b90506000610ead83602001518560200151611f0b565b9050610ebb60075483611ea8565b600755610ef16000861315610eec6060860151610edd87518860200151611f0b565b11156009546007541115611f2e565b611f32565b610f385760405162461bcd60e51b815260206004820152601460248201527315985d0bd8d95a5b1a5b99cb595e18d95959195960621b604482015260640160405180910390fd5b610f64610f4d60008713156000891215611f2e565b610f5c86518660400151611f0b565b831115611f32565b610fa35760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d7361666560a01b604482015260640160405180910390fd5b610fc2610fb860008713156000891215611f2e565b610eec8b33611e3b565b6110065760405162461bcd60e51b81526020600482015260116024820152705661742f6e6f742d616c6c6f7765642d7560781b604482015260640160405180910390fd5b6110186000871315610eec8a33611e3b565b61105c5760405162461bcd60e51b81526020600482015260116024820152702b30ba17b737ba16b0b63637bbb2b216bb60791b604482015260640160405180910390fd5b61106e6000861215610eec8933611e3b565b6110b25760405162461bcd60e51b81526020600482015260116024820152705661742f6e6f742d616c6c6f7765642d7760781b604482015260640160405180910390fd5b6110c88460200151156080850151831015611f32565b6111035760405162461bcd60e51b815260206004820152600860248201526715985d0bd91d5cdd60c21b604482015260640160405180910390fd5b60008a8152600460205261113590604090206001600160a01b038a166000908152602091909152604090205487611f36565b60008b81526004602052604090206001600160a01b038a16600090815260209190915260409020556001600160a01b0387166000908152600560205261118090604090205483611ea8565b6001600160a01b03881660009081526005602052604090205560008a815260036020528490604090206001600160a01b038b166000908152602091909152604090208151815560208201516001909101555060008a8152600260205283906040902081518155602082015181600101556040820151816002015560608201518160030155608082015160049091015550505050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050505050565b336000908152602081905260409020546001146112a65760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b60008681526003602052604081206001600160a01b038716600090815260209190915260409020600088815260026020529091506040812090506112ee826000015485611ea8565b825560018201546112ff9084611ea8565b600183015580546113109084611ea8565b815560018101546000906113249085611edd565b60008a8152600460205290915061135990604090206001600160a01b0389166000908152602091909152604090205486611f36565b60008a81526004602052604090206001600160a01b038916600090815260209190915260409020556001600160a01b038616600090815260066020526113a490604090205482611f36565b6001600160a01b0387166000908152600660205260409020556008546113ca9082611f36565b6008555050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050505050565b336000908152602081905260409020546001146114625760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6000838152600460205261149490604090206001600160a01b0384166000908152602091909152604090205482611ea8565b60008481526004602052604090206001600160a01b038416600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b60008581526003602052604081206001600160a01b03861660009081526020919091526040902060008781526003602052909150604081206001600160a01b0386166000908152602091909152604090206000888152600260205290915060408120905061156c836000015486611f36565b8355600183015461157d9085611f36565b6001840155815461158e9086611ea8565b8255600182015461159f9085611ea8565b826001018190555060006115bb84600101548360010154611f0b565b905060006115d184600101548460010154611f0b565b90506115ef6115e08a33611e3b565b6115ea8a33611e3b565b611f2e565b6116315760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b61164385600001548460020154611f0b565b8211156116895760405162461bcd60e51b815260206004820152601060248201526f5661742f6e6f742d736166652d73726360801b604482015260640160405180910390fd5b61169b84600001548460020154611f0b565b8111156116e15760405162461bcd60e51b815260206004820152601060248201526f15985d0bdb9bdd0b5cd859994b591cdd60821b604482015260640160405180910390fd5b6116f983600401548310158660010154600014611f32565b6117385760405162461bcd60e51b815260206004820152600c60248201526b5661742f647573742d73726360a01b604482015260640160405180910390fd5b61175083600401548210158560010154600014611f32565b61178f5760405162461bcd60e51b815260206004820152600c60248201526b15985d0bd91d5cdd0b591cdd60a21b604482015260640160405180910390fd5b50505050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a4505050505050565b600a5481565b3360009081526020819052604090205460011461182b5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146118705760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260408120555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b3360009081526001602081905290604090206001600160a01b038316600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b3360009081526020819052604090205460011461197e5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146119c35760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b600083815260026020526040812090506119e1816001015483611ea8565b600182015580546000906119f59084611edd565b6001600160a01b03851660009081526005602052909150611a1b90604090205482611ea8565b6001600160a01b038516600090815260056020526040902055600754611a419082611ea8565b60075550505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b60095481565b611a948333611e3b565b611ad65760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b6001600160a01b03831660009081526005602052611af990604090205482611e88565b6001600160a01b0384166000908152600560205260409020556001600160a01b03821660009081526005602052611b3590604090205482611e98565b6001600160a01b0383166000908152600560205260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b600060205280600052604060002054905081565b600260205280600052604060002080546001820154600283015460038401546004909401549294509092909185565b3360009081526001602052604081206001600160a01b038316600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b600660205280600052604060002054905081565b33600090815260208190526040902054600114611c995760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6001600160a01b03831660009081526006602052611cbc90604090205482611e98565b6001600160a01b0384166000908152600660205260409020556001600160a01b03821660009081526005602052611cf890604090205482611e98565b6001600160a01b038316600090815260056020526040902055600854611d1e9082611e98565b600855600754611d2e9082611e98565b6007555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b3360008181526006602052611d8990604090205483611e88565b6001600160a01b0382166000908152600660205260409020556001600160a01b03811660009081526005602052611dc590604090205483611e88565b6001600160a01b038216600090815260056020526040902055600854611deb9083611e88565b600855600754611dfb9083611e88565b600755505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b6001600160a01b038281166000818152600160205291611e7f9190841614604083206001600160a01b03851660009081526020919091526040902054600114611f32565b90505b92915050565b80820382811115611e8257600080fd5b80820182811015611e8257600080fd5b818101600082121580611ebb5750828111155b611ec457600080fd5b600082131580611ed45750828110155b611e8257600080fd5b8181026000831215611eee57600080fd5b811580611ed4575082828281611f0057fe5b0514611e8257600080fd5b6000811580611ed457505080820282828281611f2357fe5b0414611e8257600080fd5b1690565b1790565b808203600082131580611f495750828111155b611f5257600080fd5b600082121580611ed4575082811015611e8257600080fd5b604051604080820190526000808252602082015290565b6040518060a001604052806000815260200160008152602001600081526020016000815260200160008152509056fe5661742f6e6f742d617574686f72697a65640000000000000000000000000000a265627a7a72315820f92a653a0da36d46984c62d1098c5983b08ae4cfcde7a6fb6257f39b39c649be64736f6c634300050c0032

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c80637cdd3fde116100f9578063bb35783b11610097578063dc4d20fa11610071578063dc4d20fa146105c1578063f059212a146105e7578063f24e23eb1461060d578063f37ac61c14610643576101c4565b8063bb35783b14610516578063bf353dbb1461054c578063d9638d3614610572576101c4565b80639c52a7f1116100d35780639c52a7f114610490578063a3b22fc4146104b6578063b65337df146104dc578063babe8a3f1461050e576101c4565b80637cdd3fde14610414578063870c616d14610446578063957aa58c14610488576101c4565b80634538c4eb11610166578063692450091161014057806369245009146103565780636c25b3461461035e57806376088703146103845780637bab3f40146103cc576101c4565b80634538c4eb146102c65780636111be2e146102f457806365fae35e14610330576101c4565b80632424be5c116101a25780632424be5c1461023a57806329ae81141461027e5780632d61a355146102a15780633b663195146102a9576101c4565b80630dca59c1146101c95780631a0b287e146101e3578063214414d51461020e575b600080fd5b6101d1610660565b60405190815260200160405180910390f35b61020c600480360360608110156101f957600080fd5b5080359060208101359060400135610666565b005b6101d16004803603604081101561022457600080fd5b50803590602001356001600160a01b03166107fe565b6102666004803603604081101561025057600080fd5b50803590602001356001600160a01b0316610820565b60405191825260208201526040908101905180910390f35b61020c6004803603604081101561029457600080fd5b508035906020013561084a565b6101d1610931565b61020c600480360360208110156102bf57600080fd5b5035610937565b6101d1600480360360408110156102dc57600080fd5b506001600160a01b0381358116916020013516610a3e565b61020c6004803603608081101561030a57600080fd5b508035906001600160a01b03602082013581169160408101359091169060600135610a60565b61020c6004803603602081101561034657600080fd5b50356001600160a01b0316610b9f565b61020c610c8d565b6101d16004803603602081101561037457600080fd5b50356001600160a01b0316610d1e565b61020c600480360360c081101561039a57600080fd5b508035906001600160a01b03602082013581169160408101358216916060820135169060808101359060a00135610d32565b61020c600480360360c08110156103e257600080fd5b508035906001600160a01b03602082013581169160408101358216916060820135169060808101359060a00135611255565b61020c6004803603606081101561042a57600080fd5b508035906001600160a01b036020820135169060400135611411565b61020c600480360360a081101561045c57600080fd5b508035906001600160a01b036020820135811691604081013590911690606081013590608001356114fa565b6101d16117d4565b61020c600480360360208110156104a657600080fd5b50356001600160a01b03166117da565b61020c600480360360208110156104cc57600080fd5b50356001600160a01b03166118c5565b61020c600480360360608110156104f257600080fd5b508035906001600160a01b03602082013516906040013561192d565b6101d1611a84565b61020c6004803603606081101561052c57600080fd5b506001600160a01b03813581169160208101359091169060400135611a8a565b6101d16004803603602081101561056257600080fd5b50356001600160a01b0316611b8c565b61058f6004803603602081101561058857600080fd5b5035611ba0565b604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390f35b61020c600480360360208110156105d757600080fd5b50356001600160a01b0316611bcf565b6101d1600480360360208110156105fd57600080fd5b50356001600160a01b0316611c34565b61020c6004803603606081101561062357600080fd5b506001600160a01b03813581169160208101359091169060400135611c48565b61020c6004803603602081101561065957600080fd5b5035611d6f565b60075481565b336000908152602081905260409020546001146106b75760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146106fc5760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b81631cdc1bdd60e21b14156107245760008381526002602052819060409020600201556107c0565b81636c696e6560e01b141561074c5760008381526002602052819060409020600301556107c0565b8163191d5cdd60e21b14156107745760008381526002602052819060409020600401556107c0565b60405162461bcd60e51b815260206004820152601b60248201527f5661742f66696c652d756e7265636f676e697a65642d706172616d0000000000604482015260640160405180910390fd5b5961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b6004602052816000526040600020602052806000526040600020549150829050565b60036020528160005260406000206020528060005260406000208054600190910154909250905082565b3360009081526020819052604090205460011461089b5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146108e05760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b81634c696e6560e01b14156107745760098190555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a4505050565b60085481565b336000908152602081905260409020546001146109885760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600081815260026020526040902060010154156109e25760405162461bcd60e51b815260206004820152601460248201527315985d0bda5b1acb585b1c9958591e4b5a5b9a5d60621b604482015260640160405180910390fd5b600081815260026020526b033b2e3c9fd0803ce80000009060409020600101555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b6001602052816000526040600020602052806000526040600020549150829050565b610a6a8333611e3b565b610aac5760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b60008481526004602052610ade90604090206001600160a01b0385166000908152602091909152604090205482611e88565b60008581526004602052604090206001600160a01b0385166000908152602091909152604090205560008481526004602052610b3890604090206001600160a01b0384166000908152602091909152604090205482611e98565b60008581526004602052604090206001600160a01b038416600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050505050565b33600090815260208190526040902054600114610bf05760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a54600114610c355760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260019060409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b33600090815260208190526040902054600114610cde5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6000600a555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450565b600560205280600052604060002054905081565b600a54600114610d775760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b610d7f611f6a565b60008781526003602052604090206001600160a01b038716600090815260209190915260409020604051604080820190528154815260019091015460208201529050610dc9611f81565b600088815260026020526040902060405160a08101604090815282548252600183015460208301908152600284015491830191909152600383015460608301526004909201546080820152915051610e5a5760405162461bcd60e51b815260206004820152601060248201526f15985d0bda5b1acb5b9bdd0b5a5b9a5d60821b604482015260640160405180910390fd5b610e65825185611ea8565b8252610e75602083015184611ea8565b6020830152610e85815184611ea8565b81526000610e97602083015185611edd565b90506000610ead83602001518560200151611f0b565b9050610ebb60075483611ea8565b600755610ef16000861315610eec6060860151610edd87518860200151611f0b565b11156009546007541115611f2e565b611f32565b610f385760405162461bcd60e51b815260206004820152601460248201527315985d0bd8d95a5b1a5b99cb595e18d95959195960621b604482015260640160405180910390fd5b610f64610f4d60008713156000891215611f2e565b610f5c86518660400151611f0b565b831115611f32565b610fa35760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d7361666560a01b604482015260640160405180910390fd5b610fc2610fb860008713156000891215611f2e565b610eec8b33611e3b565b6110065760405162461bcd60e51b81526020600482015260116024820152705661742f6e6f742d616c6c6f7765642d7560781b604482015260640160405180910390fd5b6110186000871315610eec8a33611e3b565b61105c5760405162461bcd60e51b81526020600482015260116024820152702b30ba17b737ba16b0b63637bbb2b216bb60791b604482015260640160405180910390fd5b61106e6000861215610eec8933611e3b565b6110b25760405162461bcd60e51b81526020600482015260116024820152705661742f6e6f742d616c6c6f7765642d7760781b604482015260640160405180910390fd5b6110c88460200151156080850151831015611f32565b6111035760405162461bcd60e51b815260206004820152600860248201526715985d0bd91d5cdd60c21b604482015260640160405180910390fd5b60008a8152600460205261113590604090206001600160a01b038a166000908152602091909152604090205487611f36565b60008b81526004602052604090206001600160a01b038a16600090815260209190915260409020556001600160a01b0387166000908152600560205261118090604090205483611ea8565b6001600160a01b03881660009081526005602052604090205560008a815260036020528490604090206001600160a01b038b166000908152602091909152604090208151815560208201516001909101555060008a8152600260205283906040902081518155602082015181600101556040820151816002015560608201518160030155608082015160049091015550505050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050505050565b336000908152602081905260409020546001146112a65760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b60008681526003602052604081206001600160a01b038716600090815260209190915260409020600088815260026020529091506040812090506112ee826000015485611ea8565b825560018201546112ff9084611ea8565b600183015580546113109084611ea8565b815560018101546000906113249085611edd565b60008a8152600460205290915061135990604090206001600160a01b0389166000908152602091909152604090205486611f36565b60008a81526004602052604090206001600160a01b038916600090815260209190915260409020556001600160a01b038616600090815260066020526113a490604090205482611f36565b6001600160a01b0387166000908152600660205260409020556008546113ca9082611f36565b6008555050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050505050565b336000908152602081905260409020546001146114625760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6000838152600460205261149490604090206001600160a01b0384166000908152602091909152604090205482611ea8565b60008481526004602052604090206001600160a01b038416600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b60008581526003602052604081206001600160a01b03861660009081526020919091526040902060008781526003602052909150604081206001600160a01b0386166000908152602091909152604090206000888152600260205290915060408120905061156c836000015486611f36565b8355600183015461157d9085611f36565b6001840155815461158e9086611ea8565b8255600182015461159f9085611ea8565b826001018190555060006115bb84600101548360010154611f0b565b905060006115d184600101548460010154611f0b565b90506115ef6115e08a33611e3b565b6115ea8a33611e3b565b611f2e565b6116315760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b61164385600001548460020154611f0b565b8211156116895760405162461bcd60e51b815260206004820152601060248201526f5661742f6e6f742d736166652d73726360801b604482015260640160405180910390fd5b61169b84600001548460020154611f0b565b8111156116e15760405162461bcd60e51b815260206004820152601060248201526f15985d0bdb9bdd0b5cd859994b591cdd60821b604482015260640160405180910390fd5b6116f983600401548310158660010154600014611f32565b6117385760405162461bcd60e51b815260206004820152600c60248201526b5661742f647573742d73726360a01b604482015260640160405180910390fd5b61175083600401548210158560010154600014611f32565b61178f5760405162461bcd60e51b815260206004820152600c60248201526b15985d0bd91d5cdd0b591cdd60a21b604482015260640160405180910390fd5b50505050505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a4505050505050565b600a5481565b3360009081526020819052604090205460011461182b5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146118705760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b6001600160a01b0381166000908152602081905260408120555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b3360009081526001602081905290604090206001600160a01b038316600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b3360009081526020819052604090205460011461197e5760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b600a546001146119c35760405162461bcd60e51b815260206004820152600c60248201526b5661742f6e6f742d6c69766560a01b604482015260640160405180910390fd5b600083815260026020526040812090506119e1816001015483611ea8565b600182015580546000906119f59084611edd565b6001600160a01b03851660009081526005602052909150611a1b90604090205482611ea8565b6001600160a01b038516600090815260056020526040902055600754611a419082611ea8565b60075550505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b60095481565b611a948333611e3b565b611ad65760405162461bcd60e51b815260206004820152600f60248201526e15985d0bdb9bdd0b585b1b1bddd959608a1b604482015260640160405180910390fd5b6001600160a01b03831660009081526005602052611af990604090205482611e88565b6001600160a01b0384166000908152600560205260409020556001600160a01b03821660009081526005602052611b3590604090205482611e98565b6001600160a01b0383166000908152600560205260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b600060205280600052604060002054905081565b600260205280600052604060002080546001820154600283015460038401546004909401549294509092909185565b3360009081526001602052604081206001600160a01b038316600090815260209190915260409020555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b600660205280600052604060002054905081565b33600090815260208190526040902054600114611c995760405162461bcd60e51b81526020600482015260126024820152600080516020611fb1833981519152604482015260640160405180910390fd5b6001600160a01b03831660009081526006602052611cbc90604090205482611e98565b6001600160a01b0384166000908152600660205260409020556001600160a01b03821660009081526005602052611cf890604090205482611e98565b6001600160a01b038316600090815260056020526040902055600854611d1e9082611e98565b600855600754611d2e9082611e98565b6007555961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a450505050565b3360008181526006602052611d8990604090205483611e88565b6001600160a01b0382166000908152600660205260409020556001600160a01b03811660009081526005602052611dc590604090205483611e88565b6001600160a01b038216600090815260056020526040902055600854611deb9083611e88565b600855600754611dfb9083611e88565b600755505961012081016040526020815260e0602082015260e0600060408301376044356024356004356001600160e01b03196000351661012085a45050565b6001600160a01b038281166000818152600160205291611e7f9190841614604083206001600160a01b03851660009081526020919091526040902054600114611f32565b90505b92915050565b80820382811115611e8257600080fd5b80820182811015611e8257600080fd5b818101600082121580611ebb5750828111155b611ec457600080fd5b600082131580611ed45750828110155b611e8257600080fd5b8181026000831215611eee57600080fd5b811580611ed4575082828281611f0057fe5b0514611e8257600080fd5b6000811580611ed457505080820282828281611f2357fe5b0414611e8257600080fd5b1690565b1790565b808203600082131580611f495750828111155b611f5257600080fd5b600082121580611ed4575082811015611e8257600080fd5b604051604080820190526000808252602082015290565b6040518060a001604052806000815260200160008152602001600081526020016000815260200160008152509056fe5661742f6e6f742d617574686f72697a65640000000000000000000000000000a265627a7a72315820f92a653a0da36d46984c62d1098c5983b08ae4cfcde7a6fb6257f39b39c649be64736f6c634300050c0032

1194:9560:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1194:9560:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2782:19;;;:::i;:::-;;;;;;;;;;;;;;;5582:343;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5582:343:0;;;;;;;;;;;;:::i;:::-;;2558:57;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2558:57:0;;;;;;-1:-1:-1;;;;;2558:57:0;;:::i;2493:58::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2493:58:0;;;;;;-1:-1:-1;;;;;2493:58:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5370:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5370:206:0;;;;;;;:::i;2838:19::-;;;:::i;5211:153::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5211:153:0;;:::i;1600:56::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1600:56:0;;;;;;;;;;:::i;6164:248::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;6164:248:0;;;-1:-1:-1;;;;;6164:248:0;;;;;;;;;;;;;;;;;;;:::i;1280:101::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1280:101:0;-1:-1:-1;;;;;1280:101:0;;:::i;5931:62::-;;;:::i;2632:57::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2632:57:0;-1:-1:-1;;;;;2632:57:0;;:::i;6897:1584::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;6897:1584:0;;;-1:-1:-1;;;;;6897:1584:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;9456:473::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;9456:473:0;;;-1:-1:-1;;;;;9456:473:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;6029:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6029:129:0;;;-1:-1:-1;;;;;6029:129:0;;;;;;;;;;:::i;8519:898::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;8519:898:0;;;-1:-1:-1;;;;;8519:898:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;2950:19::-;;;:::i;1387:101::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1387:101:0;-1:-1:-1;;;;;1387:101:0;;:::i;1663:70::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1663:70:0;-1:-1:-1;;;;;1663:70:0;;:::i;10440:311::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10440:311:0;;;-1:-1:-1;;;;;10440:311:0;;;;;;;;;;:::i;2894:19::-;;;:::i;6418:215::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6418:215:0;;;;;;;;;;;;;;;;;:::i;1235:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1235:38:0;-1:-1:-1;;;;;1235:38:0;;:::i;2428:58::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2428:58:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1739:70;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1739:70:0;-1:-1:-1;;;;;1739:70:0;;:::i;2706:57::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2706:57:0;-1:-1:-1;;;;;2706:57:0;;:::i;10193:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10193:217:0;;;;;;;;;;;;;;;;;:::i;9964:223::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9964:223:0;;:::i;2782:19::-;;;;:::o;5582:343::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;5672:4;;5680:1;5672:9;5664:34;;;;-1:-1:-1;;;5664:34:0;;;;;;;;;;;;-1:-1:-1;;;5664:34:0;;;;;;;;;;;;;;5713:4;-1:-1:-1;;;5713:14:0;5709:208;;;5729:9;;;;:4;:9;;5746:4;;5729:9;;;:14;;:21;5709:208;;;5770:4;-1:-1:-1;;;5770:14:0;5766:151;;;5786:9;;;;:4;:9;;5803:4;;5786:9;;;:14;;:21;5766:151;;;5827:4;-1:-1:-1;;;5827:14:0;5823:94;;;5843:9;;;;:4;:9;;5860:4;;5843:9;;;:14;;:21;5823:94;;;5880:37;;-1:-1:-1;;;5880:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;5823:94;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;:::o;2558:57::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2558:57:0;;-1:-1:-1;2558:57:0:o;2493:58::-;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2493:58:0;-1:-1:-1;2493:58:0;:::o;5370:206::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;5447:4;;5455:1;5447:9;5439:34;;;;-1:-1:-1;;;5439:34:0;;;;;;;;;;;;-1:-1:-1;;;5439:34:0;;;;;;;;;;;;;;5488:4;-1:-1:-1;;;5488:14:0;5484:84;;;5504:4;:11;;;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;:::o;2838:19::-;;;;:::o;5211:153::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;5276:9;;;;:4;:9;;;;;:14;;;:19;5268:52;;;;-1:-1:-1;;;5268:52:0;;;;;;;;;;;;-1:-1:-1;;;5268:52:0;;;;;;;;;;;;;;5331:9;;;;:4;:9;;5348:8;;5331:9;;;:14;;:25;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;1600:56::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1600:56:0;;-1:-1:-1;1600:56:0:o;6164:248::-;6263:21;6268:3;6273:10;6263:4;:21::i;:::-;6255:49;;;;-1:-1:-1;;;6255:49:0;;;;;;;;;;;;-1:-1:-1;;;6255:49:0;;;;;;;;;;;;;;6335:8;;;;:3;:8;;6331:23;;6335:8;;;-1:-1:-1;;;;;6335:13:0;;;;;;;;;;;;;;;6350:3;6331;:23::i;:::-;6315:8;;;;:3;:8;;;;;-1:-1:-1;;;;;6315:13:0;;;;;;;;;;;;;;:39;6385:8;;;;:3;:8;;6381:23;;6385:8;;;-1:-1:-1;;;;;6385:13:0;;;;;;;;;;;;;;;6400:3;6381;:23::i;:::-;6365:8;;;;:3;:8;;;;;-1:-1:-1;;;;;6365:13:0;;;;;;;;;;;;;;:39;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;;:::o;1280:101::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;1336:4;;1344:1;1336:9;1328:34;;;;-1:-1:-1;;;1328:34:0;;;;;;;;;;;;-1:-1:-1;;;1328:34:0;;;;;;;;;;;;;;-1:-1:-1;;;;;1364:10:0;;:5;:10;;;;;;;1377:1;;1364:10;;;:14;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;5931:62::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;5984:1;5977:4;:8;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;:::o;2632:57::-;;;;;;;;;;;;-1:-1:-1;2632:57:0;:::o;6897:1584::-;7035:4;;7043:1;7035:9;7027:34;;;;-1:-1:-1;;;7027:34:0;;;;;;;;;;;;-1:-1:-1;;;7027:34:0;;;;;;;;;;;;;;7074:14;;:::i;:::-;7091:7;;;;:4;:7;;;;;-1:-1:-1;;;;;7091:10:0;;;;;;;;;;;;;;7074:27;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7112:14:0;;:::i;:::-;7129:7;;;;:4;:7;;;;;7112:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7192:8:0;7184:42;;;;-1:-1:-1;;;7184:42:0;;;;;;;;;;;;-1:-1:-1;;;7184:42:0;;;;;;;;;;;;;;7249:18;7253:3;:7;7262:4;7249:3;:18::i;:::-;7239:28;;7288:18;7292:7;;;;7301:4;7288:3;:18::i;:::-;7278:7;;;:28;7327:18;7331:3;:7;7340:4;7327:3;:18::i;:::-;7317:28;;:7;7369:19;7373:8;;;;7383:4;7369:3;:19::i;:::-;7358:30;;7399:8;7410:22;7414:3;:8;;;7424:3;:7;;;7410:3;:22::i;:::-;7399:33;;7454:15;7458:4;;7464;7454:3;:15::i;:::-;7443:4;:26;7563:73;7578:1;7570:9;;;7581:54;7612:8;;;;7586:22;7590:3;:7;7599:3;:8;;;7586:3;:22::i;:::-;:34;;7630:4;;7622;;:12;;7581:4;:54::i;:::-;7563:6;:73::i;:::-;7555:106;;;;-1:-1:-1;;;7555:106:0;;;;;;;;;;;;-1:-1:-1;;;7555:106:0;;;;;;;;;;;;;;7744:65;7751:26;7764:1;7756:4;:9;;7775:1;7767:4;:9;;7751:4;:26::i;:::-;7786:22;7790:3;:7;7799:3;:8;;;7786:3;:22::i;:::-;7779:3;:29;;7744:6;:65::i;:::-;7736:90;;;;-1:-1:-1;;;7736:90:0;;;;;;;;;;;;-1:-1:-1;;;7736:90:0;;;;;;;;;;;;;;7906:55;7913:26;7926:1;7918:4;:9;;7937:1;7929:4;:9;;7913:4;:26::i;:::-;7941:19;7946:1;7949:10;7941:4;:19::i;7906:55::-;7898:85;;;;-1:-1:-1;;;7898:85:0;;;;;;;;;;;;-1:-1:-1;;;7898:85:0;;;;;;;;;;;;;;8038:38;8053:1;8045:4;:9;;8056:19;8061:1;8064:10;8056:4;:19::i;8038:38::-;8030:68;;;;-1:-1:-1;;;8030:68:0;;;;;;;;;;;;-1:-1:-1;;;8030:68:0;;;;;;;;;;;;;;8147:38;8162:1;8154:4;:9;;8165:19;8170:1;8173:10;8165:4;:19::i;8147:38::-;8139:68;;;;-1:-1:-1;;;8139:68:0;;;;;;;;;;;;-1:-1:-1;;;8139:68:0;;;;;;;;;;;;;;8279:37;8286:3;:7;;;:12;8307:8;;;;8300:3;:15;;8279:6;:37::i;:::-;8271:58;;;;-1:-1:-1;;;8271:58:0;;;;;;;;;;;;-1:-1:-1;;;8271:58:0;;;;;;;;;;;;;;8358:6;;;;:3;:6;;8354:20;;8358:6;;;-1:-1:-1;;;;;8358:9:0;;;;;;;;;;;;;;;8369:4;8354:3;:20::i;:::-;8342:6;;;;:3;:6;;;;;-1:-1:-1;;;;;8342:9:0;;;;;;;;;;;;;;:32;-1:-1:-1;;;;;8401:6:0;;;;;;:3;:6;;8397:20;;8401:6;;;;8412:4;8397:3;:20::i;:::-;-1:-1:-1;;;;;8385:6:0;;;;;;:3;:6;;;;;:32;8430:7;;;;:4;:7;;8443:3;;8430:7;;;-1:-1:-1;;;;;8430:10:0;;;;;;;;;;;;;;:16;;;;;;;;;;;;;-1:-1:-1;8457:7:0;;;;:4;:7;;8470:3;;8457:7;;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3447:5:0;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;;;;:::o;9456:473::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;9564:15;9582:7;;;:4;:7;;;9564:15;9582:7;-1:-1:-1;;;;;9582:10:0;;;;;;;;;;;;;;9603:15;9621:7;;;:4;:7;;9564:28;;-1:-1:-1;9621:7:0;9603:15;9621:7;9603:25;;9651:18;9655:3;:7;;;9664:4;9651:3;:18::i;:::-;9641:28;;9694:7;;;;9690:18;;9703:4;9690:3;:18::i;:::-;9680:7;;;:28;9733:7;;9729:18;;9742:4;9729:3;:18::i;:::-;9719:28;;9775:8;;;;9719:7;;9771:19;;9785:4;9771:3;:19::i;:::-;9819:6;;;;:3;:6;;9760:30;;-1:-1:-1;9815:20:0;;9819:6;;;-1:-1:-1;;;;;9819:9:0;;;;;;;;;;;;;;;9830:4;9815:3;:20::i;:::-;9803:6;;;;:3;:6;;;;;-1:-1:-1;;;;;9803:9:0;;;;;;;;;;;;;;:32;-1:-1:-1;;;;;9862:6:0;;;;;;:3;:6;;9858:20;;9862:6;;;;9873:4;9858:3;:20::i;:::-;-1:-1:-1;;;;;9846:6:0;;;;;;:3;:6;;;;;:32;9905:4;;9901:20;;9916:4;9901:3;:20::i;:::-;9889:4;:32;-1:-1:-1;;;3447:5:0;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;;;;:::o;6029:129::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;6131:8;;;;:3;:8;;6127:23;;6131:8;;;-1:-1:-1;;;;;6131:13:0;;;;;;;;;;;;;;;6146:3;6127;:23::i;:::-;6111:8;;;;:3;:8;;;;;-1:-1:-1;;;;;6111:13:0;;;;;;;;;;;;;;:39;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;:::o;8519:898::-;8617:13;8633:9;;;:4;:9;;;8617:13;8633:9;-1:-1:-1;;;;;8633:14:0;;;;;;;;;;;;;;8658:13;8674:9;;;:4;:9;;8617:30;;-1:-1:-1;8674:9:0;8658:13;8674:9;-1:-1:-1;;;;;8674:14:0;;;;;;;;;;;;;;8699:13;8715:9;;;:4;:9;;8658:30;;-1:-1:-1;8715:9:0;8699:13;8715:9;8699:25;;8745:16;8749:1;:5;;;8756:4;8745:3;:16::i;:::-;8737:24;;8784:5;;;;8780:16;;8791:4;8780:3;:16::i;:::-;8772:5;;;:24;8819:5;;8815:16;;8826:4;8815:3;:16::i;:::-;8807:24;;8854:5;;;;8850:16;;8861:4;8850:3;:16::i;:::-;8842:1;:5;;:24;;;;8879:9;8891:18;8895:1;:5;;;8902:1;:6;;;8891:3;:18::i;:::-;8879:30;;8920:9;8932:18;8936:1;:5;;;8943:1;:6;;;8932:3;:18::i;:::-;8920:30;;9002:50;9007:21;9012:3;9017:10;9007:4;:21::i;:::-;9030;9035:3;9040:10;9030:4;:21::i;:::-;9002:4;:50::i;:::-;8994:78;;;;-1:-1:-1;;;8994:78:0;;;;;;;;;;;;-1:-1:-1;;;8994:78:0;;;;;;;;;;;;;;9129:18;9133:1;:5;;;9140:1;:6;;;9129:3;:18::i;:::-;9121:4;:26;;9113:55;;;;-1:-1:-1;;;9113:55:0;;;;;;;;;;;;-1:-1:-1;;;9113:55:0;;;;;;;;;;;;;;9195:18;9199:1;:5;;;9206:1;:6;;;9195:3;:18::i;:::-;9187:4;:26;;9179:55;;;;-1:-1:-1;;;9179:55:0;;;;;;;;;;;;-1:-1:-1;;;9179:55:0;;;;;;;;;;;;;;9288:34;9303:1;:6;;;9295:4;:14;;9311:1;:5;;;9320:1;9311:10;9288:6;:34::i;:::-;9280:59;;;;-1:-1:-1;;;9280:59:0;;;;;;;;;;;;-1:-1:-1;;;9280:59:0;;;;;;;;;;;;;;9358:34;9373:1;:6;;;9365:4;:14;;9381:1;:5;;;9390:1;9381:10;9358:6;:34::i;:::-;9350:59;;;;-1:-1:-1;;;9350:59:0;;;;;;;;;;;;-1:-1:-1;;;9350:59:0;;;;;;;;;;;;;;3243:1;;;;;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;;;:::o;2950:19::-;;;;:::o;1387:101::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;1443:4;;1451:1;1443:9;1435:34;;;;-1:-1:-1;;;1435:34:0;;;;;;;;;;;;-1:-1:-1;;;1435:34:0;;;;;;;;;;;;;;-1:-1:-1;;;;;1471:10:0;;1484:1;1471:10;;;;;;;;1484:1;1471:10;:14;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;1663:70::-;1710:10;1706:15;;;;1729:1;1706:15;;;;1729:1;1706:15;;;-1:-1:-1;;;;;1706:20:0;;;;;;;;;;;;;;:24;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;10440:311::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;10524:4;;10532:1;10524:9;10516:34;;;;-1:-1:-1;;;10516:34:0;;;;;;;;;;;;-1:-1:-1;;;10516:34:0;;;;;;;;;;;;;;10561:15;10579:7;;;:4;:7;;;10561:15;10579:7;10561:25;;10608:19;10612:3;:8;;;10622:4;10608:3;:19::i;:::-;10597:8;;;:30;10653:7;;10638;;10649:18;;10662:4;10649:3;:18::i;:::-;-1:-1:-1;;;;;10693:6:0;;;;;;:3;:6;;10638:29;;-1:-1:-1;10689:16:0;;10693:6;;;;10701:3;10689;:16::i;:::-;-1:-1:-1;;;;;10678:6:0;;;;;;:3;:6;;;;;:27;10731:4;;10727:16;;10739:3;10727;:16::i;:::-;10716:4;:27;-1:-1:-1;;3447:5:0;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;:::o;2894:19::-;;;;:::o;6418:215::-;6504:21;6509:3;6514:10;6504:4;:21::i;:::-;6496:49;;;;-1:-1:-1;;;6496:49:0;;;;;;;;;;;;-1:-1:-1;;;6496:49:0;;;;;;;;;;;;;;-1:-1:-1;;;;;6571:8:0;;;;;;:3;:8;;6567:18;;6571:8;;;;6581:3;6567;:18::i;:::-;-1:-1:-1;;;;;6556:8:0;;;;;;:3;:8;;;;;:29;-1:-1:-1;;;;;6611:8:0;;;;;;:3;:8;;6607:18;;6611:8;;;;6621:3;6607;:18::i;:::-;-1:-1:-1;;;;;6596:8:0;;;;;;:3;:8;;;;;:29;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;:::o;1235:38::-;;;;;;;;;;;;-1:-1:-1;1235:38:0;:::o;2428:58::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2428:58:0;;;;;:::o;1739:70::-;1786:10;1805:1;1782:15;;;:3;:15;;;1805:1;1782:15;-1:-1:-1;;;;;1782:20:0;;;;;;;;;;;;;;:24;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;2706:57::-;;;;;;;;;;;;-1:-1:-1;2706:57:0;:::o;10193:217::-;1533:10;1527:5;:17;;;;;;;;;;;1548:1;1527:22;1519:53;;;;-1:-1:-1;;;1519:53:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1519:53:0;;;;;;;;;;;;;;-1:-1:-1;;;;;10282:6:0;;;;;;:3;:6;;10278:16;;10282:6;;;;10290:3;10278;:16::i;:::-;-1:-1:-1;;;;;10269:6:0;;;;;;:3;:6;;;;;:25;-1:-1:-1;;;;;10318:6:0;;;;;;:3;:6;;10314:16;;10318:6;;;;10326:3;10314;:16::i;:::-;-1:-1:-1;;;;;10305:6:0;;;;;;:3;:6;;;;;:25;10354:4;;10350:16;;10362:3;10350;:16::i;:::-;10341:4;:25;10390:4;;10386:16;;10398:3;10386;:16::i;:::-;10377:4;:25;3447:5;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;;;:::o;9964:223::-;10025:10;10013:9;10059:6;;;:3;:6;;10055:16;;10059:6;;;;10067:3;10055;:16::i;:::-;-1:-1:-1;;;;;10046:6:0;;;;;;:3;:6;;;;;:25;-1:-1:-1;;;;;10095:6:0;;;;;;:3;:6;;10091:16;;10095:6;;;;10103:3;10091;:16::i;:::-;-1:-1:-1;;;;;10082:6:0;;;;;;:3;:6;;;;;:25;10131:4;;10127:16;;10139:3;10127;:16::i;:::-;10118:4;:25;10167:4;;10163:16;;10175:3;10163;:16::i;:::-;10154:4;:25;-1:-1:-1;3447:5:0;3543:3;3537:4;3533:14;3527:4;3520:28;3618:4;3612;3605:18;3710:3;3703:4;3697;3693:15;3686:28;3797:3;3794:1;3787:4;3781;3777:15;3764:37;4113:2;4100:16;4050:2;4037:16;3987:1;3974:15;-1:-1:-1;;;;;;3939:1:0;3926:15;3908:35;3847:3;3841:4;3836:327;3264:910;;:::o;1815:133::-;-1:-1:-1;;;;;1909:10:0;;;1878:4;1921:8;;;:3;:8;;1878:4;1902:38;;1909:10;;;;1921:8;1878:4;1921:8;-1:-1:-1;;;;;1921:13:0;;;;;;;;;;;;;;;1938:1;1921:18;1902:6;:38::i;:::-;1895:45;;1815:133;;;;;:::o;4944:104::-;5028:5;;;5023:16;;;;5015:25;;;;;4834:104;4918:5;;;4913:16;;;;4905:25;;;;;4319:165;4393:11;;;4370:6;4423;;;;:16;;;4438:1;4433;:6;;4423:16;4415:25;;;;;;4464:1;4459;:6;;:16;;;;4474:1;4469;:6;;4459:16;4451:25;;;;;4661:167;4734:10;;;4712:5;4763:11;;;4755:20;;;;;;4794:6;;;:25;;;4817:1;4808;4804;:5;;;;;;:15;4786:34;;;;;5054:118;5106:6;5133;;;:30;;-1:-1:-1;;5148:5:0;;;5162:1;5157;5148:5;5157:1;5143:15;;;;;:20;5125:39;;;;;6752:104;6839:9;;6832:17::o;6641:105::-;6730:8;;6723:16::o;4490:165::-;4564:11;;;4541:6;4594;;;;:16;;;4609:1;4604;:6;;4594:16;4586:25;;;;;;4635:1;4630;:6;;:16;;;;4645:1;4640;:6;;4622:25;;;;;1194:9560;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://f92a653a0da36d46984c62d1098c5983b08ae4cfcde7a6fb6257f39b39c649be