Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/// MkrSky.sol -- Mkr/Sky Exchanger

// Copyright (C) 2023 Dai Foundation
//
// 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.8.21;

interface GemLike {
    function burn(address, uint256) external;
    function transfer(address, uint256) external;
}

contract MkrSky {
    mapping (address => uint256) public wards;
    uint256                      public fee;
    uint256                      public take; // accumulated SKY fee available for collection

    uint256 constant WAD = 10**18;

    GemLike public immutable mkr;
    GemLike public immutable sky;
    uint256 public immutable rate;

    event Rely(address indexed usr);
    event Deny(address indexed usr);
    event File(bytes32 indexed what, uint256 data);
    event Collect(address indexed to, uint256 take);
    event Burn(uint256 skyAmt);
    event MkrToSky(address indexed caller, address indexed usr, uint256 mkrAmt, uint256 skyAmt, uint256 skyFee);

    modifier auth {
        require(wards[msg.sender] == 1, "MkrSky/not-authorized");
        _;
    }

    constructor(address mkr_, address sky_, uint256 rate_) {
        mkr  = GemLike(mkr_);
        sky  = GemLike(sky_);
        rate = rate_;

        wards[msg.sender] = 1;
        emit Rely(msg.sender);
    }

    // Admin functions

    function rely(address usr) external auth {
        wards[usr] = 1;
        emit Rely(usr);
    }

    function deny(address usr) external auth {
        wards[usr] = 0;
        emit Deny(usr);
    }

    function file(bytes32 what, uint256 data) external auth {
        if (what == "fee") {
            require(data <= WAD, "MkrSky/fee-exceeds-wad");
            fee = data;
        } else revert("MkrSky/file-unrecognized-param");
        emit File(what, data);
    }

    function collect(address to) external auth returns (uint256 take_) {
        take_ = take;
        require(take_ > 0, "MkrSky/nothing-to-collect");
        take = 0;
        sky.transfer(to, take_);
        emit Collect(to, take_);
    }

    // This function is intended to be used when deactivating this contract or for burning excess SKY due to MKR being burned.
    // If needed, making sure that the `take` amount is not burned is assumed to be done on a higher level (e.g by calling `collect` first).
    function burn(uint256 skyAmt) external auth {
        sky.burn(address(this), skyAmt);
        emit Burn(skyAmt);
    }

    // Public functions

    function mkrToSky(address usr, uint256 mkrAmt) external {
        uint256 skyAmt = mkrAmt * rate;
        uint256 skyFee;
        uint256 fee_ = fee;
        if (fee_ > 0) {
            skyFee = skyAmt * fee_ / WAD;
            unchecked { skyAmt -= skyFee; }
            take += skyFee;
        }

        mkr.burn(msg.sender, mkrAmt);
        sky.transfer(usr, skyAmt);
        emit MkrToSky(msg.sender, usr, mkrAmt, skyAmt, skyFee);
    }
}

{
  "remappings": [],
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "evmVersion": "shanghai",
  "viaIR": false,
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"mkr_","type":"address"},{"internalType":"address","name":"sky_","type":"address"},{"internalType":"uint256","name":"rate_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"skyAmt","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"take","type":"uint256"}],"name":"Collect","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Deny","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"what","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"data","type":"uint256"}],"name":"File","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"caller","type":"address"},{"indexed":true,"internalType":"address","name":"usr","type":"address"},{"indexed":false,"internalType":"uint256","name":"mkrAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"skyAmt","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"skyFee","type":"uint256"}],"name":"MkrToSky","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Rely","type":"event"},{"inputs":[{"internalType":"uint256","name":"skyAmt","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"collect","outputs":[{"internalType":"uint256","name":"take_","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"uint256","name":"data","type":"uint256"}],"name":"file","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mkr","outputs":[{"internalType":"contract GemLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"},{"internalType":"uint256","name":"mkrAmt","type":"uint256"}],"name":"mkrToSky","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rate","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sky","outputs":[{"internalType":"contract GemLike","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"take","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"wards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

60e060405234801561000f575f80fd5b50604051610a78380380610a7883398101604081905261002e916100a1565b6001600160a01b03808416608052821660a05260c0819052335f8181526020819052604080822060019055517fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a609190a25050506100da565b80516001600160a01b038116811461009c575f80fd5b919050565b5f805f606084860312156100b3575f80fd5b6100bc84610086565b92506100ca60208501610086565b9150604084015190509250925092565b60805160a05160c0516109526101265f395f818160fe015261063501525f818161014b015281816102ac015281816104b1015261074201525f818161018a01526106bf01526109525ff3fe608060405234801561000f575f80fd5b50600436106100b1575f3560e01c8063692318041161006e57806369231804146101465780637e992cb8146101855780639c52a7f1146101ac578063ab89605a146101bf578063bf353dbb146101d2578063ddca3f43146101f1575f80fd5b806306ec16f8146100b5578063159090bd146100db57806329ae8114146100e45780632c4e722e146100f957806342966c681461012057806365fae35e14610133575b5f80fd5b6100c86100c336600461080b565b6101fa565b6040519081526020015b60405180910390f35b6100c860025481565b6100f76100f236600461082b565b61034b565b005b6100c87f000000000000000000000000000000000000000000000000000000000000000081565b6100f761012e36600461084b565b610467565b6100f761014136600461080b565b61054c565b61016d7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016100d2565b61016d7f000000000000000000000000000000000000000000000000000000000000000081565b6100f76101ba36600461080b565b6105be565b6100f76101cd366004610862565b61062f565b6100c86101e036600461080b565b5f6020819052908152604090205481565b6100c860015481565b335f908152602081905260408120546001146102315760405162461bcd60e51b81526004016102289061088a565b60405180910390fd5b50600254806102825760405162461bcd60e51b815260206004820152601960248201527f4d6b72536b792f6e6f7468696e672d746f2d636f6c6c656374000000000000006044820152606401610228565b5f60025560405163a9059cbb60e01b81526001600160a01b038381166004830152602482018390527f0000000000000000000000000000000000000000000000000000000000000000169063a9059cbb906044015f604051808303815f87803b1580156102ed575f80fd5b505af11580156102ff573d5f803e3d5ffd5b50505050816001600160a01b03167f4256a058fa2b123d727576d3d31e3a272db98ee5fe264e229610ce43dc8499998260405161033e91815260200190565b60405180910390a2919050565b335f908152602081905260409020546001146103795760405162461bcd60e51b81526004016102289061088a565b816266656560e81b036103e157670de0b6b3a76400008111156103d75760405162461bcd60e51b8152602060048201526016602482015275135adc94dade4bd999594b595e18d959591ccb5dd85960521b6044820152606401610228565b6001819055610429565b60405162461bcd60e51b815260206004820152601e60248201527f4d6b72536b792f66696c652d756e7265636f676e697a65642d706172616d00006044820152606401610228565b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c78260405161045b91815260200190565b60405180910390a25050565b335f908152602081905260409020546001146104955760405162461bcd60e51b81526004016102289061088a565b604051632770a7eb60e21b8152306004820152602481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690639dc29fac906044015f604051808303815f87803b1580156104fa575f80fd5b505af115801561050c573d5f803e3d5ffd5b505050507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb8160405161054191815260200190565b60405180910390a150565b335f9081526020819052604090205460011461057a5760405162461bcd60e51b81526004016102289061088a565b6001600160a01b0381165f8181526020819052604080822060019055517fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a609190a250565b335f908152602081905260409020546001146105ec5760405162461bcd60e51b81526004016102289061088a565b6001600160a01b0381165f81815260208190526040808220829055517f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b9190a250565b5f61065a7f0000000000000000000000000000000000000000000000000000000000000000836108cd565b6001549091505f9080156106a357670de0b6b3a764000061067b82856108cd565b61068591906108ea565b915081830392508160025f82825461069d9190610909565b90915550505b604051632770a7eb60e21b8152336004820152602481018590527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690639dc29fac906044015f604051808303815f87803b158015610708575f80fd5b505af115801561071a573d5f803e3d5ffd5b505060405163a9059cbb60e01b81526001600160a01b038881166004830152602482018790527f000000000000000000000000000000000000000000000000000000000000000016925063a9059cbb91506044015f604051808303815f87803b158015610785575f80fd5b505af1158015610797573d5f803e3d5ffd5b505060408051878152602081018790529081018590526001600160a01b03881692503391507f0a1dc0eb35e4f1de6bf0a2cbddfee6266b9326ddef41f1761763a0bf039660a89060600160405180910390a35050505050565b80356001600160a01b0381168114610806575f80fd5b919050565b5f6020828403121561081b575f80fd5b610824826107f0565b9392505050565b5f806040838503121561083c575f80fd5b50508035926020909101359150565b5f6020828403121561085b575f80fd5b5035919050565b5f8060408385031215610873575f80fd5b61087c836107f0565b946020939093013593505050565b602080825260159082015274135adc94dade4bdb9bdd0b585d5d1a1bdc9a5e9959605a1b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b80820281158282048414176108e4576108e46108b9565b92915050565b5f8261090457634e487b7160e01b5f52601260045260245ffd5b500490565b808201808211156108e4576108e46108b956fea26469706673582212204b68045268687cab792dc4f3d6c19996fe23f612f14eb4924acbed83d7f2be6c64736f6c634300081500330000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a200000000000000000000000056072c95faa701256059aa122697b133aded92790000000000000000000000000000000000000000000000000000000000005dc0

0x608060405234801561000f575f80fd5b50600436106100b1575f3560e01c8063692318041161006e57806369231804146101465780637e992cb8146101855780639c52a7f1146101ac578063ab89605a146101bf578063bf353dbb146101d2578063ddca3f43146101f1575f80fd5b806306ec16f8146100b5578063159090bd146100db57806329ae8114146100e45780632c4e722e146100f957806342966c681461012057806365fae35e14610133575b5f80fd5b6100c86100c336600461080b565b6101fa565b6040519081526020015b60405180910390f35b6100c860025481565b6100f76100f236600461082b565b61034b565b005b6100c87f0000000000000000000000000000000000000000000000000000000000005dc081565b6100f761012e36600461084b565b610467565b6100f761014136600461080b565b61054c565b61016d7f00000000000000000000000056072c95faa701256059aa122697b133aded927981565b6040516001600160a01b0390911681526020016100d2565b61016d7f0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a281565b6100f76101ba36600461080b565b6105be565b6100f76101cd366004610862565b61062f565b6100c86101e036600461080b565b5f6020819052908152604090205481565b6100c860015481565b335f908152602081905260408120546001146102315760405162461bcd60e51b81526004016102289061088a565b60405180910390fd5b50600254806102825760405162461bcd60e51b815260206004820152601960248201527f4d6b72536b792f6e6f7468696e672d746f2d636f6c6c656374000000000000006044820152606401610228565b5f60025560405163a9059cbb60e01b81526001600160a01b038381166004830152602482018390527f00000000000000000000000056072c95faa701256059aa122697b133aded9279169063a9059cbb906044015f604051808303815f87803b1580156102ed575f80fd5b505af11580156102ff573d5f803e3d5ffd5b50505050816001600160a01b03167f4256a058fa2b123d727576d3d31e3a272db98ee5fe264e229610ce43dc8499998260405161033e91815260200190565b60405180910390a2919050565b335f908152602081905260409020546001146103795760405162461bcd60e51b81526004016102289061088a565b816266656560e81b036103e157670de0b6b3a76400008111156103d75760405162461bcd60e51b8152602060048201526016602482015275135adc94dade4bd999594b595e18d959591ccb5dd85960521b6044820152606401610228565b6001819055610429565b60405162461bcd60e51b815260206004820152601e60248201527f4d6b72536b792f66696c652d756e7265636f676e697a65642d706172616d00006044820152606401610228565b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c78260405161045b91815260200190565b60405180910390a25050565b335f908152602081905260409020546001146104955760405162461bcd60e51b81526004016102289061088a565b604051632770a7eb60e21b8152306004820152602481018290527f00000000000000000000000056072c95faa701256059aa122697b133aded92796001600160a01b031690639dc29fac906044015f604051808303815f87803b1580156104fa575f80fd5b505af115801561050c573d5f803e3d5ffd5b505050507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb8160405161054191815260200190565b60405180910390a150565b335f9081526020819052604090205460011461057a5760405162461bcd60e51b81526004016102289061088a565b6001600160a01b0381165f8181526020819052604080822060019055517fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a609190a250565b335f908152602081905260409020546001146105ec5760405162461bcd60e51b81526004016102289061088a565b6001600160a01b0381165f81815260208190526040808220829055517f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b9190a250565b5f61065a7f0000000000000000000000000000000000000000000000000000000000005dc0836108cd565b6001549091505f9080156106a357670de0b6b3a764000061067b82856108cd565b61068591906108ea565b915081830392508160025f82825461069d9190610909565b90915550505b604051632770a7eb60e21b8152336004820152602481018590527f0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a26001600160a01b031690639dc29fac906044015f604051808303815f87803b158015610708575f80fd5b505af115801561071a573d5f803e3d5ffd5b505060405163a9059cbb60e01b81526001600160a01b038881166004830152602482018790527f00000000000000000000000056072c95faa701256059aa122697b133aded927916925063a9059cbb91506044015f604051808303815f87803b158015610785575f80fd5b505af1158015610797573d5f803e3d5ffd5b505060408051878152602081018790529081018590526001600160a01b03881692503391507f0a1dc0eb35e4f1de6bf0a2cbddfee6266b9326ddef41f1761763a0bf039660a89060600160405180910390a35050505050565b80356001600160a01b0381168114610806575f80fd5b919050565b5f6020828403121561081b575f80fd5b610824826107f0565b9392505050565b5f806040838503121561083c575f80fd5b50508035926020909101359150565b5f6020828403121561085b575f80fd5b5035919050565b5f8060408385031215610873575f80fd5b61087c836107f0565b946020939093013593505050565b602080825260159082015274135adc94dade4bdb9bdd0b585d5d1a1bdc9a5e9959605a1b604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b80820281158282048414176108e4576108e46108b9565b92915050565b5f8261090457634e487b7160e01b5f52601260045260245ffd5b500490565b808201808211156108e4576108e46108b956fea26469706673582212204b68045268687cab792dc4f3d6c19996fe23f612f14eb4924acbed83d7f2be6c64736f6c63430008150033

0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a200000000000000000000000056072c95faa701256059aa122697b133aded92790000000000000000000000000000000000000000000000000000000000005dc0

-----Decoded View---------------
Arg [0] : mkr_ (address): 0x9f8F72aA9304c8B593d555F12eF6589cC3A579A2
Arg [1] : sky_ (address): 0x56072C95FAA701256059aa122697B133aDEd9279
Arg [2] : rate_ (uint256): 24000

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000009f8f72aa9304c8b593d555f12ef6589cc3a579a2
Arg [1] : 00000000000000000000000056072c95faa701256059aa122697b133aded9279
Arg [2] : 0000000000000000000000000000000000000000000000000000000000005dc0

938:2593:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2427:237;;;;;;:::i;:::-;;:::i;:::-;;;529:25:1;;;517:2;502:18;2427:237:0;;;;;;;;1052:40;;;;;;2157:264;;;;;;:::i;:::-;;:::i;:::-;;1251:29;;;;;2938:119;;;;;;:::i;:::-;;:::i;1953:96::-;;;;;;:::i;:::-;;:::i;1217:28::-;;;;;;;;-1:-1:-1;;;;;1181:32:1;;;1163:51;;1151:2;1136:18;1217:28:0;1003:217:1;1183:28:0;;;;;2055:96;;;;;;:::i;:::-;;:::i;3088:441::-;;;;;;:::i;:::-;;:::i;960:41::-;;;;;;:::i;:::-;;;;;;;;;;;;;;;1007:39;;;;;;2427:237;1650:10;2479:13;1644:17;;;;;;;;;;;1665:1;1644:22;1636:56;;;;-1:-1:-1;;;1636:56:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;2512:4:0::1;::::0;2534:9;2526:47:::1;;;::::0;-1:-1:-1;;;2526:47:0;;2036:2:1;2526:47:0::1;::::0;::::1;2018:21:1::0;2075:2;2055:18;;;2048:30;2114:27;2094:18;;;2087:55;2159:18;;2526:47:0::1;1834:349:1::0;2526:47:0::1;2590:1;2583:4;:8:::0;2601:23:::1;::::0;-1:-1:-1;;;2601:23:0;;-1:-1:-1;;;;;2380:32:1;;;2601:23:0::1;::::0;::::1;2362:51:1::0;2429:18;;;2422:34;;;2601:3:0::1;:12;::::0;::::1;::::0;2335:18:1;;2601:23:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;2647:2;-1:-1:-1::0;;;;;2639:18:0::1;;2651:5;2639:18;;;;529:25:1::0;;517:2;502:18;;383:177;2639:18:0::1;;;;;;;;2427:237:::0;;;:::o;2157:264::-;1650:10;1644:5;:17;;;;;;;;;;;1665:1;1644:22;1636:56;;;;-1:-1:-1;;;1636:56:0;;;;;;;:::i;:::-;2227:4:::1;-1:-1:-1::0;;;2227:13:0;2223:160:::1;;1170:6;2264:4;:11;;2256:46;;;::::0;-1:-1:-1;;;2256:46:0;;2669:2:1;2256:46:0::1;::::0;::::1;2651:21:1::0;2708:2;2688:18;;;2681:30;-1:-1:-1;;;2727:18:1;;;2720:52;2789:18;;2256:46:0::1;2467:346:1::0;2256:46:0::1;2316:3;:10:::0;;;2223:160:::1;;;2343:40;::::0;-1:-1:-1;;;2343:40:0;;3020:2:1;2343:40:0::1;::::0;::::1;3002:21:1::0;3059:2;3039:18;;;3032:30;3098:32;3078:18;;;3071:60;3148:18;;2343:40:0::1;2818:354:1::0;2223:160:0::1;2403:4;2398:16;2409:4;2398:16;;;;529:25:1::0;;517:2;502:18;;383:177;2398:16:0::1;;;;;;;;2157:264:::0;;:::o;2938:119::-;1650:10;1644:5;:17;;;;;;;;;;;1665:1;1644:22;1636:56;;;;-1:-1:-1;;;1636:56:0;;;;;;;:::i;:::-;2992:31:::1;::::0;-1:-1:-1;;;2992:31:0;;3009:4:::1;2992:31;::::0;::::1;2362:51:1::0;2429:18;;;2422:34;;;2992:3:0::1;-1:-1:-1::0;;;;;2992:8:0::1;::::0;::::1;::::0;2335:18:1;;2992:31:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;3038:12;3043:6;3038:12;;;;529:25:1::0;;517:2;502:18;;383:177;3038:12:0::1;;;;;;;;2938:119:::0;:::o;1953:96::-;1650:10;1644:5;:17;;;;;;;;;;;1665:1;1644:22;1636:56;;;;-1:-1:-1;;;1636:56:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2004:10:0;::::1;:5;:10:::0;;;::::1;::::0;;;;;;;2017:1:::1;2004:14:::0;;2033:9;::::1;::::0;2004:5;2033:9:::1;1953:96:::0;:::o;2055:::-;1650:10;1644:5;:17;;;;;;;;;;;1665:1;1644:22;1636:56;;;;-1:-1:-1;;;1636:56:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2106:10:0;::::1;2119:1;2106:10:::0;;;::::1;::::0;;;;;;;:14;;;2135:9;::::1;::::0;2119:1;2135:9:::1;2055:96:::0;:::o;3088:441::-;3154:14;3171:13;3180:4;3171:6;:13;:::i;:::-;3233:3;;3154:30;;-1:-1:-1;3194:14:0;;3250:8;;3246:139;;1170:6;3283:13;3292:4;3283:6;:13;:::i;:::-;:19;;;;:::i;:::-;3274:28;;3338:6;3328:16;;;;3368:6;3360:4;;:14;;;;;;;:::i;:::-;;;;-1:-1:-1;;3246:139:0;3395:28;;-1:-1:-1;;;3395:28:0;;3404:10;3395:28;;;2362:51:1;2429:18;;;2422:34;;;3395:3:0;-1:-1:-1;;;;;3395:8:0;;;;2335:18:1;;3395:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3433:25:0;;-1:-1:-1;;;3433:25:0;;-1:-1:-1;;;;;2380:32:1;;;3433:25:0;;;2362:51:1;2429:18;;;2422:34;;;3433:3:0;:12;;-1:-1:-1;3433:12:0;;-1:-1:-1;2335:18:1;;3433:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3473:49:0;;;4036:25:1;;;4092:2;4077:18;;4070:34;;;4120:18;;;4113:34;;;-1:-1:-1;;;;;3473:49:0;;;-1:-1:-1;3482:10:0;;-1:-1:-1;3473:49:0;;4024:2:1;4009:18;3473:49:0;;;;;;;3144:385;;;3088:441;;:::o;14:173:1:-;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:70;;177:1;174;167:12;111:70;14:173;;;:::o;192:186::-;251:6;304:2;292:9;283:7;279:23;275:32;272:52;;;320:1;317;310:12;272:52;343:29;362:9;343:29;:::i;:::-;333:39;192:186;-1:-1:-1;;;192:186:1:o;565:248::-;633:6;641;694:2;682:9;673:7;669:23;665:32;662:52;;;710:1;707;700:12;662:52;-1:-1:-1;;733:23:1;;;803:2;788:18;;;775:32;;-1:-1:-1;565:248:1:o;818:180::-;877:6;930:2;918:9;909:7;905:23;901:32;898:52;;;946:1;943;936:12;898:52;-1:-1:-1;969:23:1;;818:180;-1:-1:-1;818:180:1:o;1225:254::-;1293:6;1301;1354:2;1342:9;1333:7;1329:23;1325:32;1322:52;;;1370:1;1367;1360:12;1322:52;1393:29;1412:9;1393:29;:::i;:::-;1383:39;1469:2;1454:18;;;;1441:32;;-1:-1:-1;;;1225:254:1:o;1484:345::-;1686:2;1668:21;;;1725:2;1705:18;;;1698:30;-1:-1:-1;;;1759:2:1;1744:18;;1737:51;1820:2;1805:18;;1484:345::o;3177:127::-;3238:10;3233:3;3229:20;3226:1;3219:31;3269:4;3266:1;3259:15;3293:4;3290:1;3283:15;3309:168;3382:9;;;3413;;3430:15;;;3424:22;;3410:37;3400:71;;3451:18;;:::i;:::-;3309:168;;;;:::o;3482:217::-;3522:1;3548;3538:132;;3592:10;3587:3;3583:20;3580:1;3573:31;3627:4;3624:1;3617:15;3655:4;3652:1;3645:15;3538:132;-1:-1:-1;3684:9:1;;3482:217::o;3704:125::-;3769:9;;;3790:10;;;3787:36;;;3803:18;;:::i

ipfs://4b68045268687cab792dc4f3d6c19996fe23f612f14eb4924acbed83d7f2be6c