Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface DaiAbstract
•    - function wards(address)
•    - function rely(address)
•    - function deny(address)
•    - function name()
•    - function symbol()
•    - function version()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address)
•    - function allowance(address, address)
•    - function nonces(address)
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function transfer(address, uint256)
•    - function transferFrom(address, addres ...
•    - function mint(address, uint256)
•    - function burn(address, uint256)
•    - function approve(address, uint256)
•    - function push(address, uint256)
•    - function pull(address, uint256)
•    - function move(address, address, uint2 ...
•    - function permit(address, address, uin ...
• interface DaiJoinAbstract
•    - function wards(address)
•    - function rely(address usr)
•    - function deny(address usr)
•    - function vat()
•    - function dai()
•    - function live()
•    - function cage()
•    - function join(address, uint256)
•    - function exit(address, uint256)
• interface VatAbstract
•    - function wards(address)
•    - function rely(address)
•    - function deny(address)
•    - function can(address, address)
•    - function hope(address)
•    - function nope(address)
•    - function ilks(bytes32)
•    - function urns(bytes32, address)
•    - function gem(bytes32, address)
•    - function dai(address)
•    - function sin(address)
•    - function debt()
•    - function vice()
•    - function Line()
•    - function live()
•    - function init(bytes32)
•    - function file(bytes32, uint256)
•    - function file(bytes32, bytes32, uint2 ...
•    - function cage()
•    - function slip(bytes32, address, int25 ...
•    - function flux(bytes32, address, addre ...
•    - function move(address, address, uint2 ...
•    - function frob(bytes32, address, addre ...
•    - function fork(bytes32, address, addre ...
•    - function grab(bytes32, address, addre ...
•    - function heal(uint256)
•    - function suck(address, address, uint2 ...
•    - function fold(bytes32, address, int25 ...
• interface AuthGemJoinAbstract
•    - function dec()
•    - function vat()
•    - function ilk()
•    - function join(address, uint256, addre ...
•    - function exit(address, uint256)
•  contract DssPsm *
•    - function rely(address usr)
•    - function deny(address usr)
•    - function add(uint256 x, uint256 y)
•    - function sub(uint256 x, uint256 y)
•    - function mul(uint256 x, uint256 y)
•    - function file(bytes32 what, uint256 d ...
•    - function hope(address usr)
•    - function nope(address usr)
•    - function sellGem(address usr, uint256 ...
•    - function buyGem(address usr, uint256 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-11-25
*/

// hevm: flattened sources of src/psm.sol
// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity >=0.5.12 >=0.6.12 <0.7.0;

////// lib/dss-interfaces/src/dss/DaiAbstract.sol
/* pragma solidity >=0.5.12; */

// https://github.com/makerdao/dss/blob/master/src/dai.sol
interface DaiAbstract {
    function wards(address) external view returns (uint256);
    function rely(address) external;
    function deny(address) external;
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function version() external view returns (string memory);
    function decimals() external view returns (uint8);
    function totalSupply() external view returns (uint256);
    function balanceOf(address) external view returns (uint256);
    function allowance(address, address) external view returns (uint256);
    function nonces(address) external view returns (uint256);
    function DOMAIN_SEPARATOR() external view returns (bytes32);
    function PERMIT_TYPEHASH() external view returns (bytes32);
    function transfer(address, uint256) external;
    function transferFrom(address, address, uint256) external returns (bool);
    function mint(address, uint256) external;
    function burn(address, uint256) external;
    function approve(address, uint256) external returns (bool);
    function push(address, uint256) external;
    function pull(address, uint256) external;
    function move(address, address, uint256) external;
    function permit(address, address, uint256, uint256, bool, uint8, bytes32, bytes32) external;
}

////// lib/dss-interfaces/src/dss/DaiJoinAbstract.sol
/* pragma solidity >=0.5.12; */

// https://github.com/makerdao/dss/blob/master/src/join.sol
interface DaiJoinAbstract {
    function wards(address) external view returns (uint256);
    function rely(address usr) external;
    function deny(address usr) external;
    function vat() external view returns (address);
    function dai() external view returns (address);
    function live() external view returns (uint256);
    function cage() external;
    function join(address, uint256) external;
    function exit(address, uint256) external;
}

////// lib/dss-interfaces/src/dss/VatAbstract.sol
/* pragma solidity >=0.5.12; */

// https://github.com/makerdao/dss/blob/master/src/vat.sol
interface VatAbstract {
    function wards(address) external view returns (uint256);
    function rely(address) external;
    function deny(address) external;
    function can(address, address) external view returns (uint256);
    function hope(address) external;
    function nope(address) external;
    function ilks(bytes32) external view returns (uint256, uint256, uint256, uint256, uint256);
    function urns(bytes32, address) external view returns (uint256, uint256);
    function gem(bytes32, address) external view returns (uint256);
    function dai(address) external view returns (uint256);
    function sin(address) external view returns (uint256);
    function debt() external view returns (uint256);
    function vice() external view returns (uint256);
    function Line() external view returns (uint256);
    function live() external view returns (uint256);
    function init(bytes32) external;
    function file(bytes32, uint256) external;
    function file(bytes32, bytes32, uint256) external;
    function cage() external;
    function slip(bytes32, address, int256) external;
    function flux(bytes32, address, address, uint256) external;
    function move(address, address, uint256) external;
    function frob(bytes32, address, address, address, int256, int256) external;
    function fork(bytes32, address, address, int256, int256) external;
    function grab(bytes32, address, address, address, int256, int256) external;
    function heal(uint256) external;
    function suck(address, address, uint256) external;
    function fold(bytes32, address, int256) external;
}

////// src/psm.sol
// Copyright (C) 2021 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.6.12; */

/* import { DaiJoinAbstract } from "dss-interfaces/dss/DaiJoinAbstract.sol"; */
/* import { DaiAbstract } from "dss-interfaces/dss/DaiAbstract.sol"; */
/* import { VatAbstract } from "dss-interfaces/dss/VatAbstract.sol"; */

interface AuthGemJoinAbstract {
    function dec() external view returns (uint256);
    function vat() external view returns (address);
    function ilk() external view returns (bytes32);
    function join(address, uint256, address) external;
    function exit(address, uint256) external;
}

// Peg Stability Module
// Allows anyone to go between Dai and the Gem by pooling the liquidity
// An optional fee is charged for incoming and outgoing transfers

contract DssPsm {

    // --- Auth ---
    mapping (address => uint256) public wards;
    function rely(address usr) external auth { wards[usr] = 1; emit Rely(usr); }
    function deny(address usr) external auth { wards[usr] = 0; emit Deny(usr); }
    modifier auth { require(wards[msg.sender] == 1); _; }

    VatAbstract immutable public vat;
    AuthGemJoinAbstract immutable public gemJoin;
    DaiAbstract immutable public dai;
    DaiJoinAbstract immutable public daiJoin;
    bytes32 immutable public ilk;
    address immutable public vow;

    uint256 immutable internal to18ConversionFactor;

    uint256 public tin;         // toll in [wad]
    uint256 public tout;        // toll out [wad]

    // --- Events ---
    event Rely(address indexed usr);
    event Deny(address indexed usr);
    event File(bytes32 indexed what, uint256 data);
    event SellGem(address indexed owner, uint256 value, uint256 fee);
    event BuyGem(address indexed owner, uint256 value, uint256 fee);

    // --- Init ---
    constructor(address gemJoin_, address daiJoin_, address vow_) public {
        wards[msg.sender] = 1;
        emit Rely(msg.sender);
        AuthGemJoinAbstract gemJoin__ = gemJoin = AuthGemJoinAbstract(gemJoin_);
        DaiJoinAbstract daiJoin__ = daiJoin = DaiJoinAbstract(daiJoin_);
        VatAbstract vat__ = vat = VatAbstract(address(gemJoin__.vat()));
        DaiAbstract dai__ = dai = DaiAbstract(address(daiJoin__.dai()));
        ilk = gemJoin__.ilk();
        vow = vow_;
        to18ConversionFactor = 10 ** (18 - gemJoin__.dec());
        dai__.approve(daiJoin_, uint256(-1));
        vat__.hope(daiJoin_);
    }

    // --- Math ---
    uint256 constant WAD = 10 ** 18;
    uint256 constant RAY = 10 ** 27;
    function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x + y) >= x);
    }
    function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x - y) <= x);
    }
    function mul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require(y == 0 || (z = x * y) / y == x);
    }

    // --- Administration ---
    function file(bytes32 what, uint256 data) external auth {
        if (what == "tin") tin = data;
        else if (what == "tout") tout = data;
        else revert("DssPsm/file-unrecognized-param");

        emit File(what, data);
    }

    // hope can be used to transfer control of the PSM vault to another contract
    // This can be used to upgrade the contract
    function hope(address usr) external auth {
        vat.hope(usr);
    }
    function nope(address usr) external auth {
        vat.nope(usr);
    }

    // --- Primary Functions ---
    function sellGem(address usr, uint256 gemAmt) external {
        uint256 gemAmt18 = mul(gemAmt, to18ConversionFactor);
        uint256 fee = mul(gemAmt18, tin) / WAD;
        uint256 daiAmt = sub(gemAmt18, fee);
        gemJoin.join(address(this), gemAmt, msg.sender);
        vat.frob(ilk, address(this), address(this), address(this), int256(gemAmt18), int256(gemAmt18));
        vat.move(address(this), vow, mul(fee, RAY));
        daiJoin.exit(usr, daiAmt);

        emit SellGem(usr, gemAmt, fee);
    }

    function buyGem(address usr, uint256 gemAmt) external {
        uint256 gemAmt18 = mul(gemAmt, to18ConversionFactor);
        uint256 fee = mul(gemAmt18, tout) / WAD;
        uint256 daiAmt = add(gemAmt18, fee);
        require(dai.transferFrom(msg.sender, address(this), daiAmt), "DssPsm/failed-transfer");
        daiJoin.join(address(this), daiAmt);
        vat.frob(ilk, address(this), address(this), address(this), -int256(gemAmt18), -int256(gemAmt18));
        gemJoin.exit(usr, gemAmt);
        vat.move(address(this), vow, mul(fee, RAY));

        emit BuyGem(usr, gemAmt, fee);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"gemJoin_","type":"address"},{"internalType":"address","name":"daiJoin_","type":"address"},{"internalType":"address","name":"vow_","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"BuyGem","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":"usr","type":"address"}],"name":"Rely","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"SellGem","type":"event"},{"inputs":[{"internalType":"address","name":"usr","type":"address"},{"internalType":"uint256","name":"gemAmt","type":"uint256"}],"name":"buyGem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"dai","outputs":[{"internalType":"contract DaiAbstract","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"daiJoin","outputs":[{"internalType":"contract DaiJoinAbstract","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"uint256","name":"data","type":"uint256"}],"name":"file","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"gemJoin","outputs":[{"internalType":"contract AuthGemJoinAbstract","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"hope","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ilk","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"nope","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"usr","type":"address"},{"internalType":"uint256","name":"gemAmt","type":"uint256"}],"name":"sellGem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"tin","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tout","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"vat","outputs":[{"internalType":"contract VatAbstract","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"vow","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"wards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

6101606040523480156200001257600080fd5b5060405162001b0638038062001b06833981810160405260608110156200003857600080fd5b8101908080519060200190929190805190602001909291908051906020019092919050505060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a260008373ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff1660601b815250905060008373ffffffffffffffffffffffffffffffffffffffff1660e08173ffffffffffffffffffffffffffffffffffffffff1660601b815250905060008273ffffffffffffffffffffffffffffffffffffffff166336569e776040518163ffffffff1660e01b815260040160206040518083038186803b158015620001a157600080fd5b505afa158015620001b6573d6000803e3d6000fd5b505050506040513d6020811015620001cd57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff1660601b815250905060008273ffffffffffffffffffffffffffffffffffffffff1663f4b9fa756040518163ffffffff1660e01b815260040160206040518083038186803b1580156200025e57600080fd5b505afa15801562000273573d6000803e3d6000fd5b505050506040513d60208110156200028a57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1660c08173ffffffffffffffffffffffffffffffffffffffff1660601b81525090508373ffffffffffffffffffffffffffffffffffffffff1663c5ce281e6040518163ffffffff1660e01b815260040160206040518083038186803b1580156200031957600080fd5b505afa1580156200032e573d6000803e3d6000fd5b505050506040513d60208110156200034557600080fd5b810190808051906020019092919050505061010081815250508473ffffffffffffffffffffffffffffffffffffffff166101208173ffffffffffffffffffffffffffffffffffffffff1660601b815250508373ffffffffffffffffffffffffffffffffffffffff1663b3bcfa826040518163ffffffff1660e01b815260040160206040518083038186803b158015620003dd57600080fd5b505afa158015620003f2573d6000803e3d6000fd5b505050506040513d60208110156200040957600080fd5b8101908080519060200190929190505050601203600a0a61014081815250508073ffffffffffffffffffffffffffffffffffffffff1663095ea7b3877fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015620004ba57600080fd5b505af1158015620004cf573d6000803e3d6000fd5b505050506040513d6020811015620004e657600080fd5b8101908080519060200190929190505050508173ffffffffffffffffffffffffffffffffffffffff1663a3b22fc4876040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156200056257600080fd5b505af115801562000577573d6000803e3d6000fd5b505050505050505050505060805160601c60a05160601c60c05160601c60e05160601c610100516101205160601c610140516114d1620006356000398061074c5280610ccb52508061064d5280610ba95280610f3b5250806109e45280610e2552806113005250806108ff5280610ffa52806112dc5250806107a352806114135250806104a15280610ac35280610d2252508061062352806109a85280610b6c5280610de95280610efe5280611220528061136f52506114d16000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80639c52a7f111610097578063c5ce281e11610066578063c5ce281e146103eb578063dc4d20fa14610409578063f4b9fa751461044d578063fae036d51461048157610100565b80639c52a7f1146102d7578063a3b22fc41461031b578063bf353dbb1461035f578063c11645bc146103b757610100565b8063626cb3c5116100d3578063626cb3c5146101c357806365fae35e146101f75780638d7ef9bb1461023b578063959912761461028957610100565b806301664f661461010557806329ae81141461013957806336569e7714610171578063568d4b6f146101a5575b600080fd5b61010d61049f565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61016f6004803603604081101561014f57600080fd5b8101908080359060200190929190803590602001909291905050506104c3565b005b610179610621565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101ad610645565b6040518082815260200191505060405180910390f35b6101cb61064b565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102396004803603602081101561020d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061066f565b005b6102876004803603604081101561025157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610744565b005b6102d56004803603604081101561029f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cc3565b005b610319600480360360208110156102ed57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110fe565b005b61035d6004803603602081101561033157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d3565b005b6103a16004803603602081101561037557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112c2565b6040518082815260200191505060405180910390f35b6103bf6112da565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103f36112fe565b6040518082815260200191505060405180910390f35b61044b6004803603602081101561041f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611322565b005b610455611411565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610489611435565b6040518082815260200191505060405180910390f35b7f000000000000000000000000000000000000000000000000000000000000000081565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461050e57600080fd5b7f74696e000000000000000000000000000000000000000000000000000000000082141561054257806001819055506105e5565b7f746f75740000000000000000000000000000000000000000000000000000000082141561057657806002819055506105e4565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f44737350736d2f66696c652d756e7265636f676e697a65642d706172616d000081525060200191505060405180910390fd5b5b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c7826040518082815260200191505060405180910390a25050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60015481565b7f000000000000000000000000000000000000000000000000000000000000000081565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146106ba57600080fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b6000610770827f000000000000000000000000000000000000000000000000000000000000000061143b565b90506000670de0b6b3a76400006107898360025461143b565b8161079057fe5b049050600061079f8383611467565b90507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561085057600080fd5b505af1158015610864573d6000803e3d6000fd5b505050506040513d602081101561087a57600080fd5b81019080805190602001909291905050506108fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f44737350736d2f6661696c65642d7472616e736665720000000000000000000081525060200191505060405180910390fd5b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633b4da69f30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561098e57600080fd5b505af11580156109a2573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663760887037f000000000000000000000000000000000000000000000000000000000000000030303088600003896000036040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610aa957600080fd5b505af1158015610abd573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663ef693bed86866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610b5257600080fd5b505af1158015610b66573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663bb35783b307f0000000000000000000000000000000000000000000000000000000000000000610bde866b033b2e3c9fd0803ce800000061143b565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610c4e57600080fd5b505af1158015610c62573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f085d06ecf4c34b237767a31c0888e121d89546a77f186f1987c6b8715e1a8caa8584604051808381526020018281526020019250505060405180910390a25050505050565b6000610cef827f000000000000000000000000000000000000000000000000000000000000000061143b565b90506000670de0b6b3a7640000610d088360015461143b565b81610d0f57fe5b0490506000610d1e8383611481565b90507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663d14b1e4b3086336040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019350505050600060405180830381600087803b158015610dcf57600080fd5b505af1158015610de3573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663760887037f000000000000000000000000000000000000000000000000000000000000000030303088896040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610ee457600080fd5b505af1158015610ef8573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663bb35783b307f0000000000000000000000000000000000000000000000000000000000000000610f70866b033b2e3c9fd0803ce800000061143b565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610fe057600080fd5b505af1158015610ff4573d6000803e3d6000fd5b505050507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663ef693bed86836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561108957600080fd5b505af115801561109d573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167fef75f5a47cc9a929968796ceb84f19e7541617b4577f2c228ea95200e15720818584604051808381526020018281526020019250505060405180910390a25050505050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461114957600080fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461121e57600080fd5b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a3b22fc4826040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156112a757600080fd5b505af11580156112bb573d6000803e3d6000fd5b5050505050565b60006020528060005260406000206000915090505481565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461136d57600080fd5b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663dc4d20fa826040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156113f657600080fd5b505af115801561140a573d6000803e3d6000fd5b5050505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60025481565b600080821480611458575082828385029250828161145557fe5b04145b61146157600080fd5b92915050565b600082828401915081101561147b57600080fd5b92915050565b600082828403915081111561149557600080fd5b9291505056fea2646970667358221220230843b9c7d090f4cf5bacabb7217768c431d59d8f19392a8aa0a9149cd568e464736f6c634300060c003300000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a50000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a28000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80639c52a7f111610097578063c5ce281e11610066578063c5ce281e146103eb578063dc4d20fa14610409578063f4b9fa751461044d578063fae036d51461048157610100565b80639c52a7f1146102d7578063a3b22fc41461031b578063bf353dbb1461035f578063c11645bc146103b757610100565b8063626cb3c5116100d3578063626cb3c5146101c357806365fae35e146101f75780638d7ef9bb1461023b578063959912761461028957610100565b806301664f661461010557806329ae81141461013957806336569e7714610171578063568d4b6f146101a5575b600080fd5b61010d61049f565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61016f6004803603604081101561014f57600080fd5b8101908080359060200190929190803590602001909291905050506104c3565b005b610179610621565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101ad610645565b6040518082815260200191505060405180910390f35b6101cb61064b565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102396004803603602081101561020d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061066f565b005b6102876004803603604081101561025157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610744565b005b6102d56004803603604081101561029f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cc3565b005b610319600480360360208110156102ed57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110fe565b005b61035d6004803603602081101561033157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d3565b005b6103a16004803603602081101561037557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112c2565b6040518082815260200191505060405180910390f35b6103bf6112da565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103f36112fe565b6040518082815260200191505060405180910390f35b61044b6004803603602081101561041f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611322565b005b610455611411565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610489611435565b6040518082815260200191505060405180910390f35b7f00000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a581565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461050e57600080fd5b7f74696e000000000000000000000000000000000000000000000000000000000082141561054257806001819055506105e5565b7f746f75740000000000000000000000000000000000000000000000000000000082141561057657806002819055506105e4565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f44737350736d2f66696c652d756e7265636f676e697a65642d706172616d000081525060200191505060405180910390fd5b5b817fe986e40cc8c151830d4f61050f4fb2e4add8567caad2d5f5496f9158e91fe4c7826040518082815260200191505060405180910390a25050565b7f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b81565b60015481565b7f000000000000000000000000a950524441892a31ebddf91d3ceefa04bf45446681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146106ba57600080fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b6000610770827f000000000000000000000000000000000000000000000000002386f26fc1000061143b565b90506000670de0b6b3a76400006107898360025461143b565b8161079057fe5b049050600061079f8383611467565b90507f0000000000000000000000006b175474e89094c44da98b954eedeac495271d0f73ffffffffffffffffffffffffffffffffffffffff166323b872dd3330846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561085057600080fd5b505af1158015610864573d6000803e3d6000fd5b505050506040513d602081101561087a57600080fd5b81019080805190602001909291905050506108fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f44737350736d2f6661696c65642d7472616e736665720000000000000000000081525060200191505060405180910390fd5b7f0000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a2873ffffffffffffffffffffffffffffffffffffffff16633b4da69f30836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561098e57600080fd5b505af11580156109a2573d6000803e3d6000fd5b505050507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663760887037f50534d2d475553442d410000000000000000000000000000000000000000000030303088600003896000036040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610aa957600080fd5b505af1158015610abd573d6000803e3d6000fd5b505050507f00000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a573ffffffffffffffffffffffffffffffffffffffff1663ef693bed86866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610b5257600080fd5b505af1158015610b66573d6000803e3d6000fd5b505050507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663bb35783b307f000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466610bde866b033b2e3c9fd0803ce800000061143b565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610c4e57600080fd5b505af1158015610c62573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167f085d06ecf4c34b237767a31c0888e121d89546a77f186f1987c6b8715e1a8caa8584604051808381526020018281526020019250505060405180910390a25050505050565b6000610cef827f000000000000000000000000000000000000000000000000002386f26fc1000061143b565b90506000670de0b6b3a7640000610d088360015461143b565b81610d0f57fe5b0490506000610d1e8383611481565b90507f00000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a573ffffffffffffffffffffffffffffffffffffffff1663d14b1e4b3086336040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019350505050600060405180830381600087803b158015610dcf57600080fd5b505af1158015610de3573d6000803e3d6000fd5b505050507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663760887037f50534d2d475553442d410000000000000000000000000000000000000000000030303088896040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610ee457600080fd5b505af1158015610ef8573d6000803e3d6000fd5b505050507f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663bb35783b307f000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466610f70866b033b2e3c9fd0803ce800000061143b565b6040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015610fe057600080fd5b505af1158015610ff4573d6000803e3d6000fd5b505050507f0000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a2873ffffffffffffffffffffffffffffffffffffffff1663ef693bed86836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561108957600080fd5b505af115801561109d573d6000803e3d6000fd5b505050508473ffffffffffffffffffffffffffffffffffffffff167fef75f5a47cc9a929968796ceb84f19e7541617b4577f2c228ea95200e15720818584604051808381526020018281526020019250505060405180910390a25050505050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461114957600080fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461121e57600080fd5b7f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663a3b22fc4826040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156112a757600080fd5b505af11580156112bb573d6000803e3d6000fd5b5050505050565b60006020528060005260406000206000915090505481565b7f0000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a2881565b7f50534d2d475553442d410000000000000000000000000000000000000000000081565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461136d57600080fd5b7f00000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b73ffffffffffffffffffffffffffffffffffffffff1663dc4d20fa826040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156113f657600080fd5b505af115801561140a573d6000803e3d6000fd5b5050505050565b7f0000000000000000000000006b175474e89094c44da98b954eedeac495271d0f81565b60025481565b600080821480611458575082828385029250828161145557fe5b04145b61146157600080fd5b92915050565b600082828401915081101561147b57600080fd5b92915050565b600082828403915081111561149557600080fd5b9291505056fea2646970667358221220230843b9c7d090f4cf5bacabb7217768c431d59d8f19392a8aa0a9149cd568e464736f6c634300060c0033

00000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a50000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a28000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466

-----Decoded View---------------
Arg [0] : gemJoin_ (address): 0x79A0FA989fb7ADf1F8e80C93ee605Ebb94F7c6A5
Arg [1] : daiJoin_ (address): 0x9759A6Ac90977b93B58547b4A71c78317f391A28
Arg [2] : vow_ (address): 0xA950524441892A31ebddF91d3cEEFa04Bf454466

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 00000000000000000000000079a0fa989fb7adf1f8e80c93ee605ebb94f7c6a5
Arg [1] : 0000000000000000000000009759a6ac90977b93b58547b4a71c78317f391a28
Arg [2] : 000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466

5484:3896:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5842:44;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7673:241;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5803:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6107:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6014:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5578:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8772:603;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8247:517;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5660:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8053:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5530:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5932:40;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5979:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8132:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5893:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6157:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5842:44;;;:::o;7673:241::-;5787:1;5766:5;:17;5772:10;5766:17;;;;;;;;;;;;;;;;:22;5758:31;;;;;;7744:13:::1;:4;:13;7740:132;;;7765:4;7759:3;:10;;;;7740:132;;;7789:14;:4;:14;7785:87;;;7812:4;7805;:11;;;;7785:87;;;7832:40;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;7785:87;7740:132;7895:4;7890:16;7901:4;7890:16;;;;;;;;;;;;;;;;;;7673:241:::0;;:::o;5803:32::-;;;:::o;6107:18::-;;;;:::o;6014:28::-;;;:::o;5578:76::-;5787:1;5766:5;:17;5772:10;5766:17;;;;;;;;;;;;;;;;:22;5758:31;;;;;;5634:1:::1;5621:5;:10:::0;5627:3:::1;5621:10;;;;;;;;;;;;;;;:14;;;;5647:3;5642:9;;;;;;;;;;;;5578:76:::0;:::o;8772:603::-;8837:16;8856:33;8860:6;8868:20;8856:3;:33::i;:::-;8837:52;;8900:11;7216:8;8914:19;8918:8;8928:4;;8914:3;:19::i;:::-;:25;;;;;;8900:39;;8950:14;8967:18;8971:8;8981:3;8967;:18::i;:::-;8950:35;;9004:3;:16;;;9021:10;9041:4;9048:6;9004:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8996:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9093:7;:12;;;9114:4;9121:6;9093:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9139:3;:8;;;9148:3;9161:4;9176;9191;9206:8;9198:17;;9225:8;9217:17;;9139:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9246:7;:12;;;9259:3;9264:6;9246:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9282:3;:8;;;9299:4;9306:3;9311:13;9315:3;7254:8;9311:3;:13::i;:::-;9282:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9350:3;9343:24;;;9355:6;9363:3;9343:24;;;;;;;;;;;;;;;;;;;;;;;;8772:603;;;;;:::o;8247:517::-;8313:16;8332:33;8336:6;8344:20;8332:3;:33::i;:::-;8313:52;;8376:11;7216:8;8390:18;8394:8;8404:3;;8390;:18::i;:::-;:24;;;;;;8376:38;;8425:14;8442:18;8446:8;8456:3;8442;:18::i;:::-;8425:35;;8471:7;:12;;;8492:4;8499:6;8507:10;8471:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8529:3;:8;;;8538:3;8551:4;8566;8581;8595:8;8613;8529:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8634:3;:8;;;8651:4;8658:3;8663:13;8667:3;7254:8;8663:3;:13::i;:::-;8634:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8688:7;:12;;;8701:3;8706:6;8688:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8739:3;8731:25;;;8744:6;8752:3;8731:25;;;;;;;;;;;;;;;;;;;;;;;;8247:517;;;;;:::o;5660:76::-;5787:1;5766:5;:17;5772:10;5766:17;;;;;;;;;;;;;;;;:22;5758:31;;;;;;5716:1:::1;5703:5:::0;:10:::1;5709:3;5703:10;;;;;;;;;;;;;;;:14;;;;5729:3;5724:9;;;;;;;;;;;;5660:76:::0;:::o;8053:73::-;5787:1;5766:5;:17;5772:10;5766:17;;;;;;;;;;;;;;;;:22;5758:31;;;;;;8105:3:::1;:8;;;8114:3;8105:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;8053:73:::0;:::o;5530:41::-;;;;;;;;;;;;;;;;;:::o;5932:40::-;;;:::o;5979:28::-;;;:::o;8132:73::-;5787:1;5766:5;:17;5772:10;5766:17;;;;;;;;;;;;;;;;:22;5758:31;;;;;;8184:3:::1;:8;;;8193:3;8184:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;8132:73:::0;:::o;5893:32::-;;;:::o;6157:19::-;;;;:::o;7507:127::-;7565:9;7600:1;7595;:6;:30;;;;7624:1;7619;7614;7610;:5;7606:9;;;7605:15;;;;;;:20;7595:30;7587:39;;;;;;7507:127;;;;:::o;7269:113::-;7327:9;7372:1;7366;7362;:5;7358:9;;;7357:16;;7349:25;;;;;;7269:113;;;;:::o;7388:::-;7446:9;7491:1;7485;7481;:5;7477:9;;;7476:16;;7468:25;;;;;;7388:113;;;;:::o

ipfs://230843b9c7d090f4cf5bacabb7217768c431d59d8f19392a8aa0a9149cd568e4