Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-05-01
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.28;
interface ILeash {
	function isDerpetProperlyLeashed(uint256 derpetId) external view returns (bool);
	function derpetToLeash(uint256 derpetId) external view returns(uint256, uint256);
}
interface IERC721 {
    function ownerOf(uint256 tokenId) external view returns (address);
}
interface IDerpetStuff {
    function mint(address to, uint256 id, uint256 amount, bytes memory data) external;
    function balanceOf(address user, uint256 id) external returns (uint256);
}

interface ISM {
	function increaseStat(
        uint256 tokenId,
        uint256 statId,
        uint256 amount
    ) external;
}

contract PetWalker {

    ILeash public leashing = ILeash(0x924b2c62d929033Acf74FA8A08D87bF84B82B67A);
    ILeash public betterLeashing = ILeash(0xd18F05Be910FD0DAEC8EBF1042479a1554337623);
	IERC721 public derpNFT;
    IERC721 public derpetNFT;
    IDerpetStuff public derpetStuff= IDerpetStuff(0xD2394d1d41dBd9dAc7c61a533afE3dA0c6bc07c5);
    
    address public owner;

    uint256 public minimumTimeBetweenWalks = 4*60*60; // four hours

    mapping (uint256 => uint256) public derpetIdToLastWalkTimestamp;

    ISM public statManager = ISM(0x603Ef7Ee6Efe7dA5D165b5eC4F8fdBc4282A58cc);

	constructor(
        address _derpNFTAddress,
        address _derpetNFTAddress
    ) {
        derpNFT = IERC721(_derpNFTAddress);
        derpetNFT = IERC721(_derpetNFTAddress);
        
        owner = msg.sender;
    }

    function _canUserWalkDerpet(address user, uint256 derpetId) internal view returns (bool) {
    	return ( 
    		(derpetNFT.ownerOf(derpetId) == user) && 
    		(leashing.isDerpetProperlyLeashed(derpetId) || betterLeashing.isDerpetProperlyLeashed(derpetId)) 
    		); 
    }

    function canUserWalkDerpet(address user, uint256 derpetId) public view returns (bool) {
    	return _canUserWalkDerpet(user, derpetId);
    }

    function _whoIsWalkingTheDerpet(uint256 derpetId) internal view returns (uint256) {
        uint256 derpId = 0;
    	if (betterLeashing.isDerpetProperlyLeashed(derpetId)) {
    		(derpId,) = betterLeashing.derpetToLeash(derpetId); 
    	}
    	else if (leashing.isDerpetProperlyLeashed(derpetId)) {
    		(derpId,) = leashing.derpetToLeash(derpetId);
    	}
    	else {
    		derpId = 0;
    	} 

    	return derpId;
    
    }

    function _mintPoop(address to, uint256 amount) internal {
    	derpetStuff.mint(to, 5, amount, bytes(" "));
    }

    function walk (uint256 derpetId) public {
    	uint256 balCollars = derpetStuff.balanceOf(msg.sender,1);
    	uint256 balLeash = derpetStuff.balanceOf(msg.sender,2);
    	uint256 balLeash_Derp = derpetStuff.balanceOf(msg.sender,3);
    	uint256 balLeash_Cult = derpetStuff.balanceOf(msg.sender,4);


    	require(block.timestamp >= derpetIdToLastWalkTimestamp[derpetId] + minimumTimeBetweenWalks,
    		"Not time to walk the Derpet");
    	require(_canUserWalkDerpet(msg.sender, derpetId), 
    		"User either does not own Derpet or does not own the Derp it is leashed too.");
    	require(balCollars > 0, 
    		"user must have a collar in their wallet");
    	require(balLeash > 0 || balLeash_Derp > 0 || balLeash_Cult > 0, 
    		"user has no leash");

    	if ( betterLeashing.isDerpetProperlyLeashed(derpetId) && ( (balLeash_Cult + balLeash_Derp) > 0) ) {
    		_mintPoop(msg.sender,2);
    		statManager.increaseStat(derpetId,1,2);
    	}
    	else {
    		_mintPoop(msg.sender,1);
    		statManager.increaseStat(derpetId,1,1);
    	}

    	derpetIdToLastWalkTimestamp[derpetId] = block.timestamp;

    }

    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_derpNFTAddress","type":"address"},{"internalType":"address","name":"_derpetNFTAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"betterLeashing","outputs":[{"internalType":"contract ILeash","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"uint256","name":"derpetId","type":"uint256"}],"name":"canUserWalkDerpet","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"derpNFT","outputs":[{"internalType":"contract IERC721","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"derpetIdToLastWalkTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"derpetNFT","outputs":[{"internalType":"contract IERC721","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"derpetStuff","outputs":[{"internalType":"contract IDerpetStuff","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"leashing","outputs":[{"internalType":"contract ILeash","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minimumTimeBetweenWalks","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"statManager","outputs":[{"internalType":"contract ISM","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"derpetId","type":"uint256"}],"name":"walk","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040525f80546001600160a01b031990811673924b2c62d929033acf74fa8a08d87bf84b82b67a1790915560018054821673d18f05be910fd0daec8ebf1042479a155433762317905560048054821673d2394d1d41dbd9dac7c61a533afe3da0c6bc07c51790556138406006556008805490911673603ef7ee6efe7da5d165b5ec4f8fdbc4282a58cc179055348015610098575f5ffd5b50604051610e9c380380610e9c8339810160408190526100b791610113565b600280546001600160a01b039384166001600160a01b0319918216179091556003805492909316918116919091179091556005805490911633179055610144565b80516001600160a01b038116811461010e575f5ffd5b919050565b5f5f60408385031215610124575f5ffd5b61012d836100f8565b915061013b602084016100f8565b90509250929050565b610d4b806101515f395ff3fe608060405234801561000f575f5ffd5b50600436106100c4575f3560e01c8063b3d15a201161007d578063e294e51511610058578063e294e515146101dd578063ea9abaea146101fd578063f6a1d8521461021c575f5ffd5b8063b3d15a201461017d578063b449d4da1461019d578063cd8af667146101bd575f5ffd5b80631d2a8351116100ad5780631d2a83511461012757806320214cec146101465780638da5cb5b1461015d575f5ffd5b80630581f59d146100c8578063108da084146100dd575b5f5ffd5b6100db6100d6366004610ba2565b61023f565b005b6008546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b5f546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b61014f60065481565b60405190815260200161011e565b6005546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6002546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6003546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6004546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6001546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b61014f61020b366004610ba2565b60076020525f908152604090205481565b61022f61022a366004610bdd565b6108f5565b604051901515815260200161011e565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600160248301525f9173ffffffffffffffffffffffffffffffffffffffff9091169062fdd58e906044016020604051808303815f875af11580156102b6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102da9190610c07565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600260248301529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af1158015610352573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103769190610c07565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600360248301529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af11580156103ee573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104129190610c07565b600480546040517efdd58e000000000000000000000000000000000000000000000000000000008152338184015260248101929092529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af1158015610488573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ac9190610c07565b6006545f878152600760205260409020549192506104c991610c1e565b421015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f4e6f742074696d6520746f2077616c6b2074686520446572706574000000000060448201526064015b60405180910390fd5b6105413386610909565b6105f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604b60248201527f557365722065697468657220646f6573206e6f74206f776e204465727065742060448201527f6f7220646f6573206e6f74206f776e207468652044657270206974206973206c60648201527f65617368656420746f6f2e000000000000000000000000000000000000000000608482015260a40161052e565b5f8411610682576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f75736572206d7573742068617665206120636f6c6c617220696e20746865697260448201527f2077616c6c657400000000000000000000000000000000000000000000000000606482015260840161052e565b5f83118061068f57505f82115b8061069957505f81115b6106ff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f7573657220686173206e6f206c65617368000000000000000000000000000000604482015260640161052e565b6001546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810187905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa15801561076c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107909190610c56565b80156107a457505f6107a28383610c1e565b115b15610846576107b4336002610ae4565b6008546040517f4071f75200000000000000000000000000000000000000000000000000000000815260048101879052600160248201526002604482015273ffffffffffffffffffffffffffffffffffffffff90911690634071f752906064015f604051808303815f87803b15801561082b575f5ffd5b505af115801561083d573d5f5f3e3d5ffd5b505050506108df565b610851336001610ae4565b6008546040517f4071f75200000000000000000000000000000000000000000000000000000000815260048101879052600160248201819052604482015273ffffffffffffffffffffffffffffffffffffffff90911690634071f752906064015f604051808303815f87803b1580156108c8575f5ffd5b505af11580156108da573d5f5f3e3d5ffd5b505050505b5050505f91825250600760205260409020429055565b5f6109008383610909565b90505b92915050565b6003546040517f6352211e000000000000000000000000000000000000000000000000000000008152600481018390525f9173ffffffffffffffffffffffffffffffffffffffff85811692911690636352211e90602401602060405180830381865afa15801561097b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099f9190610c7c565b73ffffffffffffffffffffffffffffffffffffffff1614801561090057505f546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa158015610a29573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a4d9190610c56565b8061090057506001546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa158015610ac0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109009190610c56565b60048054604080518082018252600181527f2000000000000000000000000000000000000000000000000000000000000000602082015290517f731133e900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9092169263731133e992610b7192879260059288929101610c97565b5f604051808303815f87803b158015610b88575f5ffd5b505af1158015610b9a573d5f5f3e3d5ffd5b505050505050565b5f60208284031215610bb2575f5ffd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff81168114610bda575f5ffd5b50565b5f5f60408385031215610bee575f5ffd5b8235610bf981610bb9565b946020939093013593505050565b5f60208284031215610c17575f5ffd5b5051919050565b80820180821115610903577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f60208284031215610c66575f5ffd5b81518015158114610c75575f5ffd5b9392505050565b5f60208284031215610c8c575f5ffd5b8151610c7581610bb9565b73ffffffffffffffffffffffffffffffffffffffff85168152836020820152826040820152608060608201525f8251806080840152806020850160a085015e5f60a0828501015260a07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8301168401019150509594505050505056fea26469706673582212209d4a661bd5cce91995202685766592cc6e098e97b070919c56db182c7a3a3ab364736f6c634300081d00330000000000000000000000008500d84b203775fc8b418148223872b35c43b0500000000000000000000000003f6467b1953471e6ec42d887028c850108eccd12

0x608060405234801561000f575f5ffd5b50600436106100c4575f3560e01c8063b3d15a201161007d578063e294e51511610058578063e294e515146101dd578063ea9abaea146101fd578063f6a1d8521461021c575f5ffd5b8063b3d15a201461017d578063b449d4da1461019d578063cd8af667146101bd575f5ffd5b80631d2a8351116100ad5780631d2a83511461012757806320214cec146101465780638da5cb5b1461015d575f5ffd5b80630581f59d146100c8578063108da084146100dd575b5f5ffd5b6100db6100d6366004610ba2565b61023f565b005b6008546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b5f546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b61014f60065481565b60405190815260200161011e565b6005546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6002546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6003546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6004546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b6001546100fd9073ffffffffffffffffffffffffffffffffffffffff1681565b61014f61020b366004610ba2565b60076020525f908152604090205481565b61022f61022a366004610bdd565b6108f5565b604051901515815260200161011e565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600160248301525f9173ffffffffffffffffffffffffffffffffffffffff9091169062fdd58e906044016020604051808303815f875af11580156102b6573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102da9190610c07565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600260248301529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af1158015610352573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103769190610c07565b600480546040517efdd58e0000000000000000000000000000000000000000000000000000000081523392810192909252600360248301529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af11580156103ee573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104129190610c07565b600480546040517efdd58e000000000000000000000000000000000000000000000000000000008152338184015260248101929092529192505f9173ffffffffffffffffffffffffffffffffffffffff169062fdd58e906044016020604051808303815f875af1158015610488573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104ac9190610c07565b6006545f878152600760205260409020549192506104c991610c1e565b421015610537576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f4e6f742074696d6520746f2077616c6b2074686520446572706574000000000060448201526064015b60405180910390fd5b6105413386610909565b6105f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604b60248201527f557365722065697468657220646f6573206e6f74206f776e204465727065742060448201527f6f7220646f6573206e6f74206f776e207468652044657270206974206973206c60648201527f65617368656420746f6f2e000000000000000000000000000000000000000000608482015260a40161052e565b5f8411610682576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f75736572206d7573742068617665206120636f6c6c617220696e20746865697260448201527f2077616c6c657400000000000000000000000000000000000000000000000000606482015260840161052e565b5f83118061068f57505f82115b8061069957505f81115b6106ff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f7573657220686173206e6f206c65617368000000000000000000000000000000604482015260640161052e565b6001546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810187905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa15801561076c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107909190610c56565b80156107a457505f6107a28383610c1e565b115b15610846576107b4336002610ae4565b6008546040517f4071f75200000000000000000000000000000000000000000000000000000000815260048101879052600160248201526002604482015273ffffffffffffffffffffffffffffffffffffffff90911690634071f752906064015f604051808303815f87803b15801561082b575f5ffd5b505af115801561083d573d5f5f3e3d5ffd5b505050506108df565b610851336001610ae4565b6008546040517f4071f75200000000000000000000000000000000000000000000000000000000815260048101879052600160248201819052604482015273ffffffffffffffffffffffffffffffffffffffff90911690634071f752906064015f604051808303815f87803b1580156108c8575f5ffd5b505af11580156108da573d5f5f3e3d5ffd5b505050505b5050505f91825250600760205260409020429055565b5f6109008383610909565b90505b92915050565b6003546040517f6352211e000000000000000000000000000000000000000000000000000000008152600481018390525f9173ffffffffffffffffffffffffffffffffffffffff85811692911690636352211e90602401602060405180830381865afa15801561097b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061099f9190610c7c565b73ffffffffffffffffffffffffffffffffffffffff1614801561090057505f546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa158015610a29573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a4d9190610c56565b8061090057506001546040517f01feaf520000000000000000000000000000000000000000000000000000000081526004810184905273ffffffffffffffffffffffffffffffffffffffff909116906301feaf5290602401602060405180830381865afa158015610ac0573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109009190610c56565b60048054604080518082018252600181527f2000000000000000000000000000000000000000000000000000000000000000602082015290517f731133e900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff9092169263731133e992610b7192879260059288929101610c97565b5f604051808303815f87803b158015610b88575f5ffd5b505af1158015610b9a573d5f5f3e3d5ffd5b505050505050565b5f60208284031215610bb2575f5ffd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff81168114610bda575f5ffd5b50565b5f5f60408385031215610bee575f5ffd5b8235610bf981610bb9565b946020939093013593505050565b5f60208284031215610c17575f5ffd5b5051919050565b80820180821115610903577f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f60208284031215610c66575f5ffd5b81518015158114610c75575f5ffd5b9392505050565b5f60208284031215610c8c575f5ffd5b8151610c7581610bb9565b73ffffffffffffffffffffffffffffffffffffffff85168152836020820152826040820152608060608201525f8251806080840152806020850160a085015e5f60a0828501015260a07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8301168401019150509594505050505056fea26469706673582212209d4a661bd5cce91995202685766592cc6e098e97b070919c56db182c7a3a3ab364736f6c634300081d0033

0000000000000000000000008500d84b203775fc8b418148223872b35c43b0500000000000000000000000003f6467b1953471e6ec42d887028c850108eccd12

-----Decoded View---------------
Arg [0] : _derpNFTAddress (address): 0x8500d84b203775FC8B418148223872b35c43B050
Arg [1] : _derpetNFTAddress (address): 0x3F6467b1953471E6eC42d887028c850108ECcd12

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000008500d84b203775fc8b418148223872b35c43b050
Arg [1] : 0000000000000000000000003f6467b1953471e6ec42d887028c850108eccd12

681:3002:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2535:1137;;;;;;:::i;:::-;;:::i;:::-;;1210:72;;;;;;;;;;;;431:42:1;419:55;;;401:74;;389:2;374:18;1210:72:0;;;;;;;;709:75;;;;;;;;;1067:48;;;;;;;;;876:25:1;;;864:2;849:18;1067:48:0;730:177:1;1038:20:0;;;;;;;;;876:22;;;;;;;;;905:24;;;;;;;;;936:89;;;;;;;;;791:81;;;;;;;;;1138:63;;;;;;:::i;:::-;;;;;;;;;;;;;;1812:143;;;;;;:::i;:::-;;:::i;:::-;;;2334:14:1;;2327:22;2309:41;;2297:2;2282:18;1812:143:0;2169:187:1;2535:1137:0;2604:11;;;:35;;;;;2626:10;2604:35;;;2543:74:1;;;;2604:11:0;2633:18:1;;;2626:34;2583:18:0;;2604:11;;;;;:21;;2516:18:1;;2604:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2666:11;;;:35;;;;;2688:10;2666:35;;;2543:74:1;;;;2699:1:0;2633:18:1;;;2626:34;2583:56:0;;-1:-1:-1;2647:16:0;;2666:11;;;:21;;2516:18:1;;2666:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2733:11;;;:35;;;;;2755:10;2733:35;;;2543:74:1;;;;2766:1:0;2633:18:1;;;2626:34;2647:54:0;;-1:-1:-1;2709:21:0;;2733:11;;;:21;;2516:18:1;;2733:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2800:11;;;:35;;;;;2822:10;2800:35;;;2543:74:1;2633:18;;;2626:34;;;;2709:59:0;;-1:-1:-1;2776:21:0;;2800:11;;;:21;;2516:18:1;;2800:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2914:23;;2874:37;;;;:27;:37;;;;;;2776:59;;-1:-1:-1;2874:63:0;;;:::i;:::-;2855:15;:82;;2847:129;;;;;;;4276:2:1;2847:129:0;;;4258:21:1;4315:2;4295:18;;;4288:30;4354:29;4334:18;;;4327:57;4401:18;;2847:129:0;;;;;;;;;2992:40;3011:10;3023:8;2992:18;:40::i;:::-;2984:136;;;;;;;4632:2:1;2984:136:0;;;4614:21:1;4671:2;4651:18;;;4644:30;4710:34;4690:18;;;4683:62;4781:34;4761:18;;;4754:62;4853:13;4832:19;;;4825:42;4884:19;;2984:136:0;4430:479:1;2984:136:0;3149:1;3136:10;:14;3128:74;;;;;;;5116:2:1;3128:74:0;;;5098:21:1;5155:2;5135:18;;;5128:30;5194:34;5174:18;;;5167:62;5265:9;5245:18;;;5238:37;5292:19;;3128:74:0;4914:403:1;3128:74:0;3229:1;3218:8;:12;:33;;;;3250:1;3234:13;:17;3218:33;:54;;;;3271:1;3255:13;:17;3218:54;3210:92;;;;;;;5524:2:1;3210:92:0;;;5506:21:1;5563:2;5543:18;;;5536:30;5602:19;5582:18;;;5575:47;5639:18;;3210:92:0;5322:341:1;3210:92:0;3317:14;;:48;;;;;;;;876:25:1;;;3317:14:0;;;;;:38;;849:18:1;;3317:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:90;;;;-1:-1:-1;3405:1:0;3372:29;3388:13;3372;:29;:::i;:::-;3371:35;3317:90;3312:286;;;3419:23;3429:10;3440:1;3419:9;:23::i;:::-;3451:11;;:38;;;;;;;;6168:25:1;;;3451:11:0;6209:18:1;;;6202:34;3487:1:0;6252:18:1;;;6245:34;3451:11:0;;;;;:24;;6141:18:1;;3451:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3312:286;;;3519:23;3529:10;3540:1;3519:9;:23::i;:::-;3551:11;;:38;;;;;;;;6168:25:1;;;3551:11:0;6209:18:1;;;6202:34;;;6252:18;;;6245:34;3551:11:0;;;;;:24;;6141:18:1;;3551:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3312:286;-1:-1:-1;;;3607:37:0;;;;-1:-1:-1;3607:27:0;:37;;;;;3647:15;3607:55;;2535:1137::o;1812:143::-;1892:4;1913:34;1932:4;1938:8;1913:18;:34::i;:::-;1906:41;;1812:143;;;;;:::o;1526:278::-;1641:9;;:27;;;;;;;;876:25:1;;;1609:4:0;;1641:35;;;;;:9;;;:17;;849:18:1;;1641:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:35;;;1640:145;;;;-1:-1:-1;1690:8:0;;:42;;;;;;;;876:25:1;;;1690:8:0;;;;;:32;;849:18:1;;1690:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:94;;;-1:-1:-1;1736:14:0;;:48;;;;;;;;876:25:1;;;1736:14:0;;;;;:38;;849:18:1;;1736:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;2412:115::-;2476:11;;;2508:10;;;;;;;;2476:11;2508:10;;;;;;;2476:43;;;;;:11;;;;;:16;;:43;;2493:2;;2497:1;;2500:6;;2508:10;2476:43;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2412:115;;:::o;14:226:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;-1:-1:-1;187:23:1;;14:226;-1:-1:-1;14:226:1:o;1638:154::-;1724:42;1717:5;1713:54;1706:5;1703:65;1693:93;;1782:1;1779;1772:12;1693:93;1638:154;:::o;1797:367::-;1865:6;1873;1926:2;1914:9;1905:7;1901:23;1897:32;1894:52;;;1942:1;1939;1932:12;1894:52;1981:9;1968:23;2000:31;2025:5;2000:31;:::i;:::-;2050:5;2128:2;2113:18;;;;2100:32;;-1:-1:-1;;;1797:367:1:o;2671:184::-;2741:6;2794:2;2782:9;2773:7;2769:23;2765:32;2762:52;;;2810:1;2807;2800:12;2762:52;-1:-1:-1;2833:16:1;;2671:184;-1:-1:-1;2671:184:1:o;3790:279::-;3855:9;;;3876:10;;;3873:190;;;3919:77;3916:1;3909:88;4020:4;4017:1;4010:15;4048:4;4045:1;4038:15;5668:277;5735:6;5788:2;5776:9;5767:7;5763:23;5759:32;5756:52;;;5804:1;5801;5794:12;5756:52;5836:9;5830:16;5889:5;5882:13;5875:21;5868:5;5865:32;5855:60;;5911:1;5908;5901:12;5855:60;5934:5;5668:277;-1:-1:-1;;;5668:277:1:o;6630:251::-;6700:6;6753:2;6741:9;6732:7;6728:23;6724:32;6721:52;;;6769:1;6766;6759:12;6721:52;6801:9;6795:16;6820:31;6845:5;6820:31;:::i;6886:750::-;7137:42;7129:6;7125:55;7114:9;7107:74;7217:6;7212:2;7201:9;7197:18;7190:34;7260:6;7255:2;7244:9;7240:18;7233:34;7303:3;7298:2;7287:9;7283:18;7276:31;7088:4;7336:6;7330:13;7380:6;7374:3;7363:9;7359:19;7352:35;7440:6;7435:2;7427:6;7423:15;7417:3;7406:9;7402:19;7396:51;7497:1;7491:3;7482:6;7471:9;7467:22;7463:32;7456:43;7626:3;7556:66;7551:2;7543:6;7539:15;7535:88;7524:9;7520:104;7516:114;7508:122;;;6886:750;;;;;;;:::o

ipfs://9d4a661bd5cce91995202685766592cc6e098e97b070919c56db182c7a3a3ab3