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-09-15
*/

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

pragma solidity 0.5.12;

// https://github.com/dapphub/ds-pause
contract DSPauseAbstract {
    function delay() public view returns (uint256);
    function plot(address, bytes32, bytes memory, uint256) public;
    function exec(address, bytes32, bytes memory, uint256) public returns (bytes memory);
}

// https://github.com/makerdao/dss/blob/master/src/pot.sol
contract PotAbstract {
    function file(bytes32, uint256) external;
    function drip() external returns (uint256);
}

// https://github.com/makerdao/dss/blob/master/src/jug.sol
contract JugAbstract {
    function file(bytes32, bytes32, uint256) external;
    function drip(bytes32) external returns (uint256);
}

// https://github.com/makerdao/dss/blob/master/src/vat.sol
contract VatAbstract {
    function ilks(bytes32) external view returns (uint256, uint256, uint256, uint256, uint256);
    function file(bytes32, uint256) external;
    function file(bytes32, bytes32, uint256) external;
}

// https://github.com/makerdao/dss/blob/master/src/flip.sol
contract FlipAbstract {
    function file(bytes32, uint256) external;
}

// https://github.com/makerdao/flipper-mom/blob/master/src/FlipperMom.sol
contract FlipperMomAbstract {
    function rely(address) external;
    function deny(address) external;
}

// https://github.com/makerdao/ilk-registry/blob/master/src/IlkRegistry.sol
contract IlkRegistryAbstract {
    function list() external view returns (bytes32[] memory);
    function flip(bytes32) external view returns (address);
}

contract SpellAction {
    // The contracts in this list should correspond to MCD core contracts, verify
    //  against the current release list at:
    //     https://changelog.makerdao.com/releases/mainnet/1.1.1/contracts.json
    //
    address constant MCD_VAT      = 0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B;
    address constant MCD_JUG      = 0x19c0976f590D67707E62397C87829d896Dc0f1F1;
    address constant MCD_POT      = 0x197E90f9FAD81970bA7976f33CbD77088E5D7cf7;
    address constant ILK_REGISTRY = 0x8b4ce5DCbb01e0e1f0521cd8dCfb31B308E52c24;


    // Many of the settings that change weekly rely on the rate accumulator
    // described at https://docs.makerdao.com/smart-contract-modules/rates-module
    // To check this yourself, use the following rate calculation (example 8%):
    //
    // $ bc -l <<< 'scale=27; e( l(1.08)/(60 * 60 * 24 * 365) )'
    //
    uint256 constant ZERO_PCT_RATE = 1000000000000000000000000000;

    // Common orders of magnitude needed in spells
    //
    uint256 constant WAD = 10**18;
    uint256 constant RAY = 10**27;
    uint256 constant RAD = 10**45;
    uint256 constant MLN = 10**6;
    uint256 constant BLN = 10**9;

    function execute() external {
        uint256 totalLine = 0;

        // MCD Modifications

        // Ensure we drip pot prior to modifications (housekeeping).
        //
        PotAbstract(MCD_POT).drip();

        // Set the Dai Savings Rate
        // DSR_RATE is a value determined by the rate accumulator calculation
        // ex. an 8% annual rate will be 1000000002440418608258400030
        //
        PotAbstract(MCD_POT).file("dsr", ZERO_PCT_RATE);

        // Loop over all ilks
        //
        IlkRegistryAbstract registry = IlkRegistryAbstract(ILK_REGISTRY);
        bytes32[] memory ilks = registry.list();

        for (uint i = 0; i < ilks.length; i++) {
            // Set the ilk's flip tau
            //
            FlipAbstract(registry.flip(ilks[i])).file(bytes32("tau"), 24 hours);

            // skip the rest of the loop for the following ilks:
            //
            if (ilks[i] == "USDC-B") {
                continue;
            }

            // Always drip the ilk prior to modifications (housekeeping)
            //
            JugAbstract(MCD_JUG).drip(ilks[i]);

            // Set the ilk stability fee
            //
            JugAbstract(MCD_JUG).file(ilks[i], "duty", ZERO_PCT_RATE);

            // Keep a running total of all ilk Debt Ceilings
            //
            (,,, uint256 ilkLine,) = VatAbstract(MCD_VAT).ilks(ilks[i]);
            totalLine += ilkLine;
        }

        // Set the USDC-B debt ceiling
        // USDC_B_LINE is the number of Dai that can be created with USDC token
        // collateral.
        // ex. a 60 million Dai USDC-B ceiling will be USDC_B_LINE = 60000000
        //
        // New Line: +50m
        (,,, uint256 ilkLine,) = VatAbstract(MCD_VAT).ilks("USDC-B");
        uint256 USDC_B_LINE = ilkLine + (50 * MLN * RAD);
        VatAbstract(MCD_VAT).file("USDC-B", "line", USDC_B_LINE);
        totalLine += USDC_B_LINE;

        // Set the Global Debt Ceiling to the sum of all ilk line
        //
        VatAbstract(MCD_VAT).file("Line", totalLine);
    }
}

contract DssSpell {

    DSPauseAbstract  public pause;
    address          public action;
    bytes32          public tag;
    uint256          public eta;
    bytes            public sig;
    uint256          public expiration;
    bool             public done;

    address constant MCD_PAUSE    = 0xbE286431454714F511008713973d3B053A2d38f3;
    address constant ILK_REGISTRY = 0x8b4ce5DCbb01e0e1f0521cd8dCfb31B308E52c24;

    uint256 constant T2021_02_01_1200UTC = 1612180800;

    // Provides a descriptive tag for bot consumption
    string constant public description = "DEFCON-2 Emergency Spell";

    constructor() public {
        sig = abi.encodeWithSignature("execute()");
        action = address(new SpellAction());
        bytes32 _tag;
        address _action = action;
        assembly { _tag := extcodehash(_action) }
        tag = _tag;
        pause = DSPauseAbstract(MCD_PAUSE);
        expiration = T2021_02_01_1200UTC;
    }

    function schedule() public {
        require(now <= expiration, "This contract has expired");
        require(eta == 0, "This spell has already been scheduled");
        eta = now + pause.delay();
        pause.plot(action, tag, sig, eta);
    }

    function cast() public {
        require(!done, "spell-already-cast");
        done = true;
        pause.exec(action, tag, sig, eta);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"constant":true,"inputs":[],"name":"action","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"cast","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"description","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"done","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"eta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"expiration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"pause","outputs":[{"internalType":"contract DSPauseAbstract","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"schedule","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sig","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tag","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50604080516004808252602482019092526020810180516001600160e01b03167f614619540000000000000000000000000000000000000000000000000000000017815290516100619291906100dd565b5060405161006e9061015b565b604051809103906000f08015801561008a573d6000803e3d6000fd5b50600180546001600160a01b039283166001600160a01b0319918216179182905591163f6002556000805490911673be286431454714f511008713973d3b053a2d38f3179055636017ed40600555610185565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061011e57805160ff191683800117855561014b565b8280016001018555821561014b579182015b8281111561014b578251825591602001919060010190610130565b50610157929150610168565b5090565b610778806108da83390190565b61018291905b80821115610157576000815560010161016e565b90565b610746806101946000396000f3fe608060405234801561001057600080fd5b506004361061008d5760003560e01c8062a7029b146100925780630a7a1c4d1461010f5780634665096d1461013357806351f910661461014d5780637284e416146101555780638456cb591461015d57806396d373e514610165578063ae8421e11461016f578063b0604a261461018b578063f7992d8514610193575b600080fd5b61009a61019b565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100d45781810151838201526020016100bc565b50505050905090810190601f1680156101015780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610117610229565b604080516001600160a01b039092168252519081900360200190f35b61013b610238565b60408051918252519081900360200190f35b61013b61023e565b61009a610244565b610117610278565b61016d610287565b005b6101776104c1565b604080519115158252519081900360200190f35b61016d6104ca565b61013b6106e6565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156102215780601f106101f657610100808354040283529160200191610221565b820191906000526020600020905b81548152906001019060200180831161020457829003601f168201915b505050505081565b6001546001600160a01b031681565b60055481565b60025481565b6040518060400160405280601881526020017711115190d3d38b4c88115b595c99d95b98de4814dc195b1b60421b81525081565b6000546001600160a01b031681565b60065460ff16156102d4576040805162461bcd60e51b81526020600482015260126024820152711cdc195b1b0b585b1c9958591e4b58d85cdd60721b604482015290519081900360640190fd5b6006805460ff1916600190811790915560005481546002805460035460405163168ccd6760e01b81526001600160a01b039485166004828101828152602484018690526064840185905260806044850190815282546000199b811615610100029b909b01909a169690960460848401819052969097169763168ccd67979196949591949192909160a490910190859080156103b05780601f10610385576101008083540402835291602001916103b0565b820191906000526020600020905b81548152906001019060200180831161039357829003601f168201915b505095505050505050600060405180830381600087803b1580156103d357600080fd5b505af11580156103e7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561041057600080fd5b8101908080516040519392919084600160201b82111561042f57600080fd5b90830190602082018581111561044457600080fd5b8251600160201b81118282018810171561045d57600080fd5b82525081516020918201929091019080838360005b8381101561048a578181015183820152602001610472565b50505050905090810190601f1680156104b75780820380516001836020036101000a031916815260200191505b5060405250505050565b60065460ff1681565b60055442111561051d576040805162461bcd60e51b8152602060048201526019602482015278151a1a5cc818dbdb9d1c9858dd081a185cc8195e1c1a5c9959603a1b604482015290519081900360640190fd5b6003541561055c5760405162461bcd60e51b81526004018080602001828103825260258152602001806106ed6025913960400191505060405180910390fd5b6000809054906101000a90046001600160a01b03166001600160a01b0316636a42b8f86040518163ffffffff1660e01b815260040160206040518083038186803b1580156105a957600080fd5b505afa1580156105bd573d6000803e3d6000fd5b505050506040513d60208110156105d357600080fd5b50514201600381905560005460018054600280546040516346d2fbbb60e01b81526001600160a01b03938416600482810182815260248401859052606484018a90526080604485019081528254600019998116156101000299909901909816959095046084840181905295909716976346d2fbbb9791969395919490939092909160a490910190859080156106a95780601f1061067e576101008083540402835291602001916106a9565b820191906000526020600020905b81548152906001019060200180831161068c57829003601f168201915b505095505050505050600060405180830381600087803b1580156106cc57600080fd5b505af11580156106e0573d6000803e3d6000fd5b50505050565b6003548156fe54686973207370656c6c2068617320616c7265616479206265656e207363686564756c6564a265627a7a7231582034b33e9a9f4cd231c5aecde814bb29e5f820ca761f3789546f1b2eb5482d6e9564736f6c634300050c0032608060405234801561001057600080fd5b50610758806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c80636146195414610030575b600080fd5b61003861003a565b005b600080905073197e90f9fad81970ba7976f33cbd77088e5d7cf76001600160a01b0316639f678cca6040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561008e57600080fd5b505af11580156100a2573d6000803e3d6000fd5b505050506040513d60208110156100b857600080fd5b505060408051630a6ba04560e21b8152623239b960e91b6004820152676765c793fa10079d601b1b6024820152905173197e90f9fad81970ba7976f33cbd77088e5d7cf7916329ae811491604480830192600092919082900301818387803b15801561012357600080fd5b505af1158015610137573d6000803e3d6000fd5b505050506000738b4ce5dcbb01e0e1f0521cd8dcfb31b308e52c2490506060816001600160a01b0316630f560cd76040518163ffffffff1660e01b815260040160006040518083038186803b15801561018f57600080fd5b505afa1580156101a3573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405260208110156101cc57600080fd5b8101908080516040519392919084600160201b8211156101eb57600080fd5b90830190602082018581111561020057600080fd5b82518660208202830111600160201b8211171561021c57600080fd5b82525081516020918201928201910280838360005b83811015610249578181015183820152602001610231565b50505050905001604052505050905060008090505b815181101561056957826001600160a01b0316636ffd800183838151811061028257fe5b60200260200101516040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b1580156102be57600080fd5b505afa1580156102d2573d6000803e3d6000fd5b505050506040513d60208110156102e857600080fd5b505160408051630a6ba04560e21b81526274617560e81b600482015262015180602482015290516001600160a01b03909216916329ae81149160448082019260009290919082900301818387803b15801561034257600080fd5b505af1158015610356573d6000803e3d6000fd5b5050505081818151811061036657fe5b6020026020010151652aa9a22196a160d11b141561038357610561565b7319c0976f590d67707e62397c87829d896dc0f1f16001600160a01b03166344e2a5a88383815181106103b257fe5b60200260200101516040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156103f057600080fd5b505af1158015610404573d6000803e3d6000fd5b505050506040513d602081101561041a57600080fd5b505081517319c0976f590d67707e62397c87829d896dc0f1f190631a0b287e9084908490811061044657fe5b6020026020010151676765c793fa10079d601b1b6040518363ffffffff1660e01b81526004018083815260200180636475747960e01b81525060200182815260200192505050600060405180830381600087803b1580156104a657600080fd5b505af11580156104ba573d6000803e3d6000fd5b5050505060007335d1b3f3d7966a1dfe207aa4514c12a259a0492b6001600160a01b031663d9638d368484815181106104ef57fe5b60200260200101516040518263ffffffff1660e01b81526004018082815260200191505060a06040518083038186803b15801561052b57600080fd5b505afa15801561053f573d6000803e3d6000fd5b505050506040513d60a081101561055557600080fd5b50606001519490940193505b60010161025e565b5060007335d1b3f3d7966a1dfe207aa4514c12a259a0492b6001600160a01b031663d9638d366040518163ffffffff1660e01b81526004018080652aa9a22196a160d11b815250602001905060a06040518083038186803b1580156105cd57600080fd5b505afa1580156105e1573d6000803e3d6000fd5b505050506040513d60a08110156105f757600080fd5b506060015160408051630d05943f60e11b8152652aa9a22196a160d11b6004820152636c696e6560e01b60248201526f085a36366eb71f04147a6da2b7f8647560341b830160448201819052915192935090917335d1b3f3d7966a1dfe207aa4514c12a259a0492b91631a0b287e91606480830192600092919082900301818387803b15801561068657600080fd5b505af115801561069a573d6000803e3d6000fd5b505060408051630a6ba04560e21b8152634c696e6560e01b600482015297840160248901819052905190977335d1b3f3d7966a1dfe207aa4514c12a259a0492b93506329ae8114925060448082019260009290919082900301818387803b15801561070457600080fd5b505af1158015610718573d6000803e3d6000fd5b50505050505050505056fea265627a7a7231582019ef0fcc61346f1978b595029de84de2cd404350bf53baa5602a82566122ec0d64736f6c634300050c0032

0x608060405234801561001057600080fd5b506004361061008d5760003560e01c8062a7029b146100925780630a7a1c4d1461010f5780634665096d1461013357806351f910661461014d5780637284e416146101555780638456cb591461015d57806396d373e514610165578063ae8421e11461016f578063b0604a261461018b578063f7992d8514610193575b600080fd5b61009a61019b565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100d45781810151838201526020016100bc565b50505050905090810190601f1680156101015780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610117610229565b604080516001600160a01b039092168252519081900360200190f35b61013b610238565b60408051918252519081900360200190f35b61013b61023e565b61009a610244565b610117610278565b61016d610287565b005b6101776104c1565b604080519115158252519081900360200190f35b61016d6104ca565b61013b6106e6565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156102215780601f106101f657610100808354040283529160200191610221565b820191906000526020600020905b81548152906001019060200180831161020457829003601f168201915b505050505081565b6001546001600160a01b031681565b60055481565b60025481565b6040518060400160405280601881526020017711115190d3d38b4c88115b595c99d95b98de4814dc195b1b60421b81525081565b6000546001600160a01b031681565b60065460ff16156102d4576040805162461bcd60e51b81526020600482015260126024820152711cdc195b1b0b585b1c9958591e4b58d85cdd60721b604482015290519081900360640190fd5b6006805460ff1916600190811790915560005481546002805460035460405163168ccd6760e01b81526001600160a01b039485166004828101828152602484018690526064840185905260806044850190815282546000199b811615610100029b909b01909a169690960460848401819052969097169763168ccd67979196949591949192909160a490910190859080156103b05780601f10610385576101008083540402835291602001916103b0565b820191906000526020600020905b81548152906001019060200180831161039357829003601f168201915b505095505050505050600060405180830381600087803b1580156103d357600080fd5b505af11580156103e7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052602081101561041057600080fd5b8101908080516040519392919084600160201b82111561042f57600080fd5b90830190602082018581111561044457600080fd5b8251600160201b81118282018810171561045d57600080fd5b82525081516020918201929091019080838360005b8381101561048a578181015183820152602001610472565b50505050905090810190601f1680156104b75780820380516001836020036101000a031916815260200191505b5060405250505050565b60065460ff1681565b60055442111561051d576040805162461bcd60e51b8152602060048201526019602482015278151a1a5cc818dbdb9d1c9858dd081a185cc8195e1c1a5c9959603a1b604482015290519081900360640190fd5b6003541561055c5760405162461bcd60e51b81526004018080602001828103825260258152602001806106ed6025913960400191505060405180910390fd5b6000809054906101000a90046001600160a01b03166001600160a01b0316636a42b8f86040518163ffffffff1660e01b815260040160206040518083038186803b1580156105a957600080fd5b505afa1580156105bd573d6000803e3d6000fd5b505050506040513d60208110156105d357600080fd5b50514201600381905560005460018054600280546040516346d2fbbb60e01b81526001600160a01b03938416600482810182815260248401859052606484018a90526080604485019081528254600019998116156101000299909901909816959095046084840181905295909716976346d2fbbb9791969395919490939092909160a490910190859080156106a95780601f1061067e576101008083540402835291602001916106a9565b820191906000526020600020905b81548152906001019060200180831161068c57829003601f168201915b505095505050505050600060405180830381600087803b1580156106cc57600080fd5b505af11580156106e0573d6000803e3d6000fd5b50505050565b6003548156fe54686973207370656c6c2068617320616c7265616479206265656e207363686564756c6564a265627a7a7231582034b33e9a9f4cd231c5aecde814bb29e5f820ca761f3789546f1b2eb5482d6e9564736f6c634300050c0032

5623:1388:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5623:1388:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5791:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5791:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5686:30;;;:::i;:::-;;;;-1:-1:-1;;;;;5686:30:0;;;;;;;;;;;;;;5825:34;;;:::i;:::-;;;;;;;;;;;;;;;;5723:27;;;:::i;6180:63::-;;;:::i;5650:29::-;;;:::i;6864:144::-;;;:::i;:::-;;5866:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;6606:250;;;:::i;5757:27::-;;;:::i;5791:::-;;;;;;;;;;;;;;;-1:-1:-1;;5791:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5686:30::-;;;-1:-1:-1;;;;;5686:30:0;;:::o;5825:34::-;;;;:::o;5723:27::-;;;;:::o;6180:63::-;;;;;;;;;;;;;;-1:-1:-1;;;6180:63:0;;;;:::o;5650:29::-;;;-1:-1:-1;;;;;5650:29:0;;:::o;6864:144::-;6907:4;;;;6906:5;6898:36;;;;;-1:-1:-1;;;6898:36:0;;;;;;;;;;;;-1:-1:-1;;;6898:36:0;;;;;;;;;;;;;;;6945:4;:11;;-1:-1:-1;;6945:11:0;6952:4;6945:11;;;;;;:4;6967:5;6978:6;;6986:3;;;6996;;6967:33;;-1:-1:-1;;;6967:33:0;;-1:-1:-1;;;;;6978:6:0;;;6991:3;6967:33;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6967:33:0;;;;6945:11;6967:33;;;;;;;;;;;;;;;;;;:5;;;;;:10;;6978:6;;6986:3;;6991;;6967:33;;;;;;;;;6991:3;;6967:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6967:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6967:33:0;;;;;;39:16:-1;36:1;17:17;2:54;101:4;6967:33:0;80:15:-1;;;-1:-1;;76:31;65:43;;120:4;113:20;13:2;5:11;;2:2;;;29:1;26;19:12;2:2;6967:33:0;;;;;;;;;;;;;-1:-1:-1;;;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;213:10;;-1:-1;;;244:29;;285:43;;;282:58;-1:-1;233:115;230:2;;;361:1;358;351:12;230:2;372:25;;-1:-1;6967:33:0;;420:4:-1;411:14;;;;6967:33:0;;;;;411:14:-1;6967:33:0;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6967:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6864:144::o;5866:28::-;;;;;;:::o;6606:250::-;6659:10;;6652:3;:17;;6644:55;;;;;-1:-1:-1;;;6644:55:0;;;;;;;;;;;;-1:-1:-1;;;6644:55:0;;;;;;;;;;;;;;;6718:3;;:8;6710:58;;;;-1:-1:-1;;;6710:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6791:5;;;;;;;;;-1:-1:-1;;;;;6791:5:0;-1:-1:-1;;;;;6791:11:0;;:13;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6791:13:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6791:13:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6791:13:0;6785:3;:19;6779:3;:25;;;6815:5;;;6826:6;;6834:3;;;6815:33;;-1:-1:-1;;;6815:33:0;;-1:-1:-1;;;;;6826:6:0;;;6839:3;6815:33;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6815:33:0;;;;:5;:33;;;;;;;;;;;;;;;;;;:5;;;;;:10;;6826:6;;6834:3;;6839;;6785:19;;6815:33;;;;;;;;;6839:3;;6815:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6815:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6815:33:0;;;;6606:250::o;5757:27::-;;;;:::o

bzzr://19ef0fcc61346f1978b595029de84de2cd404350bf53baa5602a82566122ec0d