Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•  contract SocialBoard *
•    - function createPost(string calldata _ ...
•    - function createComment(uint _postId, ...
•    - function likePost(uint _postId, bool ...
•    - function likeComment(uint _commentId, ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2024-12-28
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract SocialBoard {
    struct Post {
        uint id;
        string message;
        address creator;
        uint timestamp;
        uint likes;
        uint dislikes;
    }

    struct Comment {
        uint id;
        uint postId;
        string message;
        address creator;
        uint timestamp;
        uint likes;
        uint dislikes;
    }

    uint public postCount = 0;
    uint public commentCount = 0;

    mapping(uint => Post) public posts;
    mapping(uint => Comment) public comments;

    // Track likes and dislikes for posts
    mapping(uint => mapping(address => bool)) public hasLikedPost;
    mapping(uint => mapping(address => bool)) public hasDislikedPost;

    // Track likes and dislikes for comments
    mapping(uint => mapping(address => bool)) public hasLikedComment;
    mapping(uint => mapping(address => bool)) public hasDislikedComment;

    event PostCreated(uint id, string message, address creator, uint timestamp);
    event CommentCreated(uint id, uint postId, string message, address creator, uint timestamp);
    event PostLiked(uint postId, address liker, bool liked);
    event CommentLiked(uint commentId, address liker, bool liked);

    function createPost(string calldata _message) external {
        postCount++;
        posts[postCount] = Post(postCount, _message, msg.sender, block.timestamp, 0, 0);
        emit PostCreated(postCount, _message, msg.sender, block.timestamp);
    }

    function createComment(uint _postId, string calldata _message) external {
        require(posts[_postId].id > 0, "Post does not exist");
        commentCount++;
        comments[commentCount] = Comment(commentCount, _postId, _message, msg.sender, block.timestamp, 0, 0);
        emit CommentCreated(commentCount, _postId, _message, msg.sender, block.timestamp);
    }

    function likePost(uint _postId, bool _like) external {
        require(posts[_postId].id > 0, "Post does not exist");

        if (_like) {
            require(!hasLikedPost[_postId][msg.sender], "You have already liked this post");
            hasLikedPost[_postId][msg.sender] = true;

            // Remove dislike if it exists
            if (hasDislikedPost[_postId][msg.sender]) {
                hasDislikedPost[_postId][msg.sender] = false;
                posts[_postId].dislikes--;
            }

            posts[_postId].likes++;
        } else {
            require(!hasDislikedPost[_postId][msg.sender], "You have already disliked this post");
            hasDislikedPost[_postId][msg.sender] = true;

            // Remove like if it exists
            if (hasLikedPost[_postId][msg.sender]) {
                hasLikedPost[_postId][msg.sender] = false;
                posts[_postId].likes--;
            }

            posts[_postId].dislikes++;
        }

        emit PostLiked(_postId, msg.sender, _like);
    }

    function likeComment(uint _commentId, bool _like) external {
        require(comments[_commentId].id > 0, "Comment does not exist");

        if (_like) {
            require(!hasLikedComment[_commentId][msg.sender], "You have already liked this comment");
            hasLikedComment[_commentId][msg.sender] = true;

            // Remove dislike if it exists
            if (hasDislikedComment[_commentId][msg.sender]) {
                hasDislikedComment[_commentId][msg.sender] = false;
                comments[_commentId].dislikes--;
            }

            comments[_commentId].likes++;
        } else {
            require(!hasDislikedComment[_commentId][msg.sender], "You have already disliked this comment");
            hasDislikedComment[_commentId][msg.sender] = true;

            // Remove like if it exists
            if (hasLikedComment[_commentId][msg.sender]) {
                hasLikedComment[_commentId][msg.sender] = false;
                comments[_commentId].likes--;
            }

            comments[_commentId].dislikes++;
        }

        emit CommentLiked(_commentId, msg.sender, _like);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"postId","type":"uint256"},{"indexed":false,"internalType":"string","name":"message","type":"string"},{"indexed":false,"internalType":"address","name":"creator","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"CommentCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"commentId","type":"uint256"},{"indexed":false,"internalType":"address","name":"liker","type":"address"},{"indexed":false,"internalType":"bool","name":"liked","type":"bool"}],"name":"CommentLiked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"string","name":"message","type":"string"},{"indexed":false,"internalType":"address","name":"creator","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"PostCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"postId","type":"uint256"},{"indexed":false,"internalType":"address","name":"liker","type":"address"},{"indexed":false,"internalType":"bool","name":"liked","type":"bool"}],"name":"PostLiked","type":"event"},{"inputs":[],"name":"commentCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"comments","outputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"postId","type":"uint256"},{"internalType":"string","name":"message","type":"string"},{"internalType":"address","name":"creator","type":"address"},{"internalType":"uint256","name":"timestamp","type":"uint256"},{"internalType":"uint256","name":"likes","type":"uint256"},{"internalType":"uint256","name":"dislikes","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_postId","type":"uint256"},{"internalType":"string","name":"_message","type":"string"}],"name":"createComment","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_message","type":"string"}],"name":"createPost","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"name":"hasDislikedComment","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"name":"hasDislikedPost","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"name":"hasLikedComment","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"name":"hasLikedPost","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_commentId","type":"uint256"},{"internalType":"bool","name":"_like","type":"bool"}],"name":"likeComment","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_postId","type":"uint256"},{"internalType":"bool","name":"_like","type":"bool"}],"name":"likePost","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"postCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"posts","outputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"string","name":"message","type":"string"},{"internalType":"address","name":"creator","type":"address"},{"internalType":"uint256","name":"timestamp","type":"uint256"},{"internalType":"uint256","name":"likes","type":"uint256"},{"internalType":"uint256","name":"dislikes","type":"uint256"}],"stateMutability":"view","type":"function"}]

60806040525f80555f6001553480156015575f80fd5b50611dc1806100235f395ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063516e34c11161006f578063516e34c1146101a357806381210b2e146101bf5780638ebb4c15146101ef578063c7303c6114610225578063e8e6782a14610241578063eb2f4a3c1461025d576100b2565b80630b1e7f83146100b657806317906c2e146100eb57806338904ec91461010957806340a1798514610139578063435d18ea1461015557806345ff20de14610185575b5f80fd5b6100d060048036038101906100cb919061121b565b61028d565b6040516100e296959493929190611304565b60405180910390f35b6100f361036a565b604051610100919061136a565b60405180910390f35b610123600480360381019061011e91906113ad565b61036f565b6040516101309190611405565b60405180910390f35b610153600480360381019061014e919061147f565b610399565b005b61016f600480360381019061016a91906113ad565b61057d565b60405161017c9190611405565b60405180910390f35b61018d6105a7565b60405161019a919061136a565b60405180910390f35b6101bd60048036038101906101b89190611506565b6105ad565b005b6101d960048036038101906101d491906113ad565b610a6f565b6040516101e69190611405565b60405180910390f35b6102096004803603810190610204919061121b565b610a99565b60405161021c9796959493929190611544565b60405180910390f35b61023f600480360381019061023a91906115b8565b610b7c565b005b61025b60048036038101906102569190611506565b610cf4565b005b610277600480360381019061027291906113ad565b6111b6565b6040516102849190611405565b60405180910390f35b6002602052805f5260405f205f91509050805f0154908060010180546102b290611630565b80601f01602080910402602001604051908101604052809291908181526020018280546102de90611630565b80156103295780601f1061030057610100808354040283529160200191610329565b820191905f5260205f20905b81548152906001019060200180831161030c57829003601f168201915b505050505090806002015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060030154908060040154908060050154905086565b5f5481565b6006602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b5f60025f8581526020019081526020015f205f0154116103ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e5906116aa565b60405180910390fd5b60015f815480929190610400906116f5565b91905055506040518060e00160405280600154815260200184815260200183838080601f0160208091040260200160405190810160405280939291908181526020018383808284375f81840152601f19601f8201169050808301925050505050505081526020013373ffffffffffffffffffffffffffffffffffffffff1681526020014281526020015f81526020015f81525060035f60015481526020019081526020015f205f820151815f01556020820151816001015560408201518160020190816104cd9190611906565b506060820151816003015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506080820151816004015560a0820151816005015560c082015181600601559050507ff1f868ee5254a279592f96ca98448515dc899b0eb055fca0a1da86fd90de77bd600154848484334260405161057096959493929190611a0f565b60405180910390a1505050565b6004602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b60015481565b5f60025f8481526020019081526020015f205f015411610602576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f9906116aa565b60405180910390fd5b801561081e5760045f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156106a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069890611ab3565b60405180910390fd5b600160045f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060055f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156107f0575f60055f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060025f8381526020019081526020015f206005015f8154809291906107ea90611ad1565b91905055505b60025f8381526020019081526020015f206004015f815480929190610814906116f5565b9190505550610a30565b60055f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156108b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ae90611b68565b60405180910390fd5b600160055f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060045f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610a06575f60045f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060025f8381526020019081526020015f206004015f815480929190610a0090611ad1565b91905055505b60025f8381526020019081526020015f206005015f815480929190610a2a906116f5565b91905055505b7fa0596d50ee049cd1e3c3f09d7844d99ac02c8f66fdad967264a316a50dee4733823383604051610a6393929190611b86565b60405180910390a15050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b6003602052805f5260405f205f91509050805f015490806001015490806002018054610ac490611630565b80601f0160208091040260200160405190810160405280929190818152602001828054610af090611630565b8015610b3b5780601f10610b1257610100808354040283529160200191610b3b565b820191905f5260205f20905b815481529060010190602001808311610b1e57829003601f168201915b505050505090806003015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060040154908060050154908060060154905087565b5f80815480929190610b8d906116f5565b91905055506040518060c001604052805f54815260200183838080601f0160208091040260200160405190810160405280939291908181526020018383808284375f81840152601f19601f8201169050808301925050505050505081526020013373ffffffffffffffffffffffffffffffffffffffff1681526020014281526020015f81526020015f81525060025f805481526020019081526020015f205f820151815f01556020820151816001019081610c489190611906565b506040820151816002015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550606082015181600301556080820151816004015560a082015181600501559050507fb4af4b9562ae3030a4905c2c59e4d1a62b4e502925d1c337efa53dca6127d5475f5483833342604051610ce8959493929190611bbb565b60405180910390a15050565b5f60035f8481526020019081526020015f205f015411610d49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4090611c51565b60405180910390fd5b8015610f655760065f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610de8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ddf90611cdf565b60405180910390fd5b600160065f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060075f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610f37575f60075f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060035f8381526020019081526020015f206006015f815480929190610f3190611ad1565b91905055505b60035f8381526020019081526020015f206005015f815480929190610f5b906116f5565b9190505550611177565b60075f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610ffe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff590611d6d565b60405180910390fd5b600160075f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060065f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161561114d575f60065f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060035f8381526020019081526020015f206005015f81548092919061114790611ad1565b91905055505b60035f8381526020019081526020015f206006015f815480929190611171906116f5565b91905055505b7f8ac2c57b2d94074715abfb75fdc13b3fe989b7812cde05ed83e1dc3ee39911d58233836040516111aa93929190611b86565b60405180910390a15050565b6005602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b5f80fd5b5f80fd5b5f819050919050565b6111fa816111e8565b8114611204575f80fd5b50565b5f81359050611215816111f1565b92915050565b5f602082840312156112305761122f6111e0565b5b5f61123d84828501611207565b91505092915050565b61124f816111e8565b82525050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61129782611255565b6112a1818561125f565b93506112b181856020860161126f565b6112ba8161127d565b840191505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112ee826112c5565b9050919050565b6112fe816112e4565b82525050565b5f60c0820190506113175f830189611246565b8181036020830152611329818861128d565b905061133860408301876112f5565b6113456060830186611246565b6113526080830185611246565b61135f60a0830184611246565b979650505050505050565b5f60208201905061137d5f830184611246565b92915050565b61138c816112e4565b8114611396575f80fd5b50565b5f813590506113a781611383565b92915050565b5f80604083850312156113c3576113c26111e0565b5b5f6113d085828601611207565b92505060206113e185828601611399565b9150509250929050565b5f8115159050919050565b6113ff816113eb565b82525050565b5f6020820190506114185f8301846113f6565b92915050565b5f80fd5b5f80fd5b5f80fd5b5f8083601f84011261143f5761143e61141e565b5b8235905067ffffffffffffffff81111561145c5761145b611422565b5b60208301915083600182028301111561147857611477611426565b5b9250929050565b5f805f60408486031215611496576114956111e0565b5b5f6114a386828701611207565b935050602084013567ffffffffffffffff8111156114c4576114c36111e4565b5b6114d08682870161142a565b92509250509250925092565b6114e5816113eb565b81146114ef575f80fd5b50565b5f81359050611500816114dc565b92915050565b5f806040838503121561151c5761151b6111e0565b5b5f61152985828601611207565b925050602061153a858286016114f2565b9150509250929050565b5f60e0820190506115575f83018a611246565b6115646020830189611246565b8181036040830152611576818861128d565b905061158560608301876112f5565b6115926080830186611246565b61159f60a0830185611246565b6115ac60c0830184611246565b98975050505050505050565b5f80602083850312156115ce576115cd6111e0565b5b5f83013567ffffffffffffffff8111156115eb576115ea6111e4565b5b6115f78582860161142a565b92509250509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061164757607f821691505b60208210810361165a57611659611603565b5b50919050565b7f506f737420646f6573206e6f74206578697374000000000000000000000000005f82015250565b5f61169460138361125f565b915061169f82611660565b602082019050919050565b5f6020820190508181035f8301526116c181611688565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6116ff826111e8565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611731576117306116c8565b5b600182019050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026117c57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261178a565b6117cf868361178a565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61180a611805611800846111e8565b6117e7565b6111e8565b9050919050565b5f819050919050565b611823836117f0565b61183761182f82611811565b848454611796565b825550505050565b5f90565b61184b61183f565b61185681848461181a565b505050565b5b818110156118795761186e5f82611843565b60018101905061185c565b5050565b601f8211156118be5761188f81611769565b6118988461177b565b810160208510156118a7578190505b6118bb6118b38561177b565b83018261185b565b50505b505050565b5f82821c905092915050565b5f6118de5f19846008026118c3565b1980831691505092915050565b5f6118f683836118cf565b9150826002028217905092915050565b61190f82611255565b67ffffffffffffffff8111156119285761192761173c565b5b6119328254611630565b61193d82828561187d565b5f60209050601f83116001811461196e575f841561195c578287015190505b61196685826118eb565b8655506119cd565b601f19841661197c86611769565b5f5b828110156119a35784890151825560018201915060208501945060208101905061197e565b868310156119c057848901516119bc601f8916826118cf565b8355505b6001600288020188555050505b505050505050565b828183375f83830152505050565b5f6119ee838561125f565b93506119fb8385846119d5565b611a048361127d565b840190509392505050565b5f60a082019050611a225f830189611246565b611a2f6020830188611246565b8181036040830152611a428186886119e3565b9050611a5160608301856112f5565b611a5e6080830184611246565b979650505050505050565b7f596f75206861766520616c7265616479206c696b6564207468697320706f73745f82015250565b5f611a9d60208361125f565b9150611aa882611a69565b602082019050919050565b5f6020820190508181035f830152611aca81611a91565b9050919050565b5f611adb826111e8565b91505f8203611aed57611aec6116c8565b5b600182039050919050565b7f596f75206861766520616c7265616479206469736c696b6564207468697320705f8201527f6f73740000000000000000000000000000000000000000000000000000000000602082015250565b5f611b5260238361125f565b9150611b5d82611af8565b604082019050919050565b5f6020820190508181035f830152611b7f81611b46565b9050919050565b5f606082019050611b995f830186611246565b611ba660208301856112f5565b611bb360408301846113f6565b949350505050565b5f608082019050611bce5f830188611246565b8181036020830152611be18186886119e3565b9050611bf060408301856112f5565b611bfd6060830184611246565b9695505050505050565b7f436f6d6d656e7420646f6573206e6f74206578697374000000000000000000005f82015250565b5f611c3b60168361125f565b9150611c4682611c07565b602082019050919050565b5f6020820190508181035f830152611c6881611c2f565b9050919050565b7f596f75206861766520616c7265616479206c696b6564207468697320636f6d6d5f8201527f656e740000000000000000000000000000000000000000000000000000000000602082015250565b5f611cc960238361125f565b9150611cd482611c6f565b604082019050919050565b5f6020820190508181035f830152611cf681611cbd565b9050919050565b7f596f75206861766520616c7265616479206469736c696b6564207468697320635f8201527f6f6d6d656e740000000000000000000000000000000000000000000000000000602082015250565b5f611d5760268361125f565b9150611d6282611cfd565b604082019050919050565b5f6020820190508181035f830152611d8481611d4b565b905091905056fea26469706673582212200da566f39a65f4d5dc97ef0ebb1ff3cf631f8f41ee7a2ff525007727a56d625764736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063516e34c11161006f578063516e34c1146101a357806381210b2e146101bf5780638ebb4c15146101ef578063c7303c6114610225578063e8e6782a14610241578063eb2f4a3c1461025d576100b2565b80630b1e7f83146100b657806317906c2e146100eb57806338904ec91461010957806340a1798514610139578063435d18ea1461015557806345ff20de14610185575b5f80fd5b6100d060048036038101906100cb919061121b565b61028d565b6040516100e296959493929190611304565b60405180910390f35b6100f361036a565b604051610100919061136a565b60405180910390f35b610123600480360381019061011e91906113ad565b61036f565b6040516101309190611405565b60405180910390f35b610153600480360381019061014e919061147f565b610399565b005b61016f600480360381019061016a91906113ad565b61057d565b60405161017c9190611405565b60405180910390f35b61018d6105a7565b60405161019a919061136a565b60405180910390f35b6101bd60048036038101906101b89190611506565b6105ad565b005b6101d960048036038101906101d491906113ad565b610a6f565b6040516101e69190611405565b60405180910390f35b6102096004803603810190610204919061121b565b610a99565b60405161021c9796959493929190611544565b60405180910390f35b61023f600480360381019061023a91906115b8565b610b7c565b005b61025b60048036038101906102569190611506565b610cf4565b005b610277600480360381019061027291906113ad565b6111b6565b6040516102849190611405565b60405180910390f35b6002602052805f5260405f205f91509050805f0154908060010180546102b290611630565b80601f01602080910402602001604051908101604052809291908181526020018280546102de90611630565b80156103295780601f1061030057610100808354040283529160200191610329565b820191905f5260205f20905b81548152906001019060200180831161030c57829003601f168201915b505050505090806002015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060030154908060040154908060050154905086565b5f5481565b6006602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b5f60025f8581526020019081526020015f205f0154116103ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103e5906116aa565b60405180910390fd5b60015f815480929190610400906116f5565b91905055506040518060e00160405280600154815260200184815260200183838080601f0160208091040260200160405190810160405280939291908181526020018383808284375f81840152601f19601f8201169050808301925050505050505081526020013373ffffffffffffffffffffffffffffffffffffffff1681526020014281526020015f81526020015f81525060035f60015481526020019081526020015f205f820151815f01556020820151816001015560408201518160020190816104cd9190611906565b506060820151816003015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506080820151816004015560a0820151816005015560c082015181600601559050507ff1f868ee5254a279592f96ca98448515dc899b0eb055fca0a1da86fd90de77bd600154848484334260405161057096959493929190611a0f565b60405180910390a1505050565b6004602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b60015481565b5f60025f8481526020019081526020015f205f015411610602576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f9906116aa565b60405180910390fd5b801561081e5760045f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156106a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069890611ab3565b60405180910390fd5b600160045f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060055f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156107f0575f60055f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060025f8381526020019081526020015f206005015f8154809291906107ea90611ad1565b91905055505b60025f8381526020019081526020015f206004015f815480929190610814906116f5565b9190505550610a30565b60055f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16156108b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ae90611b68565b60405180910390fd5b600160055f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060045f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610a06575f60045f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060025f8381526020019081526020015f206004015f815480929190610a0090611ad1565b91905055505b60025f8381526020019081526020015f206005015f815480929190610a2a906116f5565b91905055505b7fa0596d50ee049cd1e3c3f09d7844d99ac02c8f66fdad967264a316a50dee4733823383604051610a6393929190611b86565b60405180910390a15050565b6007602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b6003602052805f5260405f205f91509050805f015490806001015490806002018054610ac490611630565b80601f0160208091040260200160405190810160405280929190818152602001828054610af090611630565b8015610b3b5780601f10610b1257610100808354040283529160200191610b3b565b820191905f5260205f20905b815481529060010190602001808311610b1e57829003601f168201915b505050505090806003015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060040154908060050154908060060154905087565b5f80815480929190610b8d906116f5565b91905055506040518060c001604052805f54815260200183838080601f0160208091040260200160405190810160405280939291908181526020018383808284375f81840152601f19601f8201169050808301925050505050505081526020013373ffffffffffffffffffffffffffffffffffffffff1681526020014281526020015f81526020015f81525060025f805481526020019081526020015f205f820151815f01556020820151816001019081610c489190611906565b506040820151816002015f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550606082015181600301556080820151816004015560a082015181600501559050507fb4af4b9562ae3030a4905c2c59e4d1a62b4e502925d1c337efa53dca6127d5475f5483833342604051610ce8959493929190611bbb565b60405180910390a15050565b5f60035f8481526020019081526020015f205f015411610d49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4090611c51565b60405180910390fd5b8015610f655760065f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610de8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ddf90611cdf565b60405180910390fd5b600160065f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060075f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610f37575f60075f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060035f8381526020019081526020015f206006015f815480929190610f3190611ad1565b91905055505b60035f8381526020019081526020015f206005015f815480929190610f5b906116f5565b9190505550611177565b60075f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610ffe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff590611d6d565b60405180910390fd5b600160075f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060065f8381526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161561114d575f60065f8481526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060035f8381526020019081526020015f206005015f81548092919061114790611ad1565b91905055505b60035f8381526020019081526020015f206006015f815480929190611171906116f5565b91905055505b7f8ac2c57b2d94074715abfb75fdc13b3fe989b7812cde05ed83e1dc3ee39911d58233836040516111aa93929190611b86565b60405180910390a15050565b6005602052815f5260405f20602052805f5260405f205f915091509054906101000a900460ff1681565b5f80fd5b5f80fd5b5f819050919050565b6111fa816111e8565b8114611204575f80fd5b50565b5f81359050611215816111f1565b92915050565b5f602082840312156112305761122f6111e0565b5b5f61123d84828501611207565b91505092915050565b61124f816111e8565b82525050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61129782611255565b6112a1818561125f565b93506112b181856020860161126f565b6112ba8161127d565b840191505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6112ee826112c5565b9050919050565b6112fe816112e4565b82525050565b5f60c0820190506113175f830189611246565b8181036020830152611329818861128d565b905061133860408301876112f5565b6113456060830186611246565b6113526080830185611246565b61135f60a0830184611246565b979650505050505050565b5f60208201905061137d5f830184611246565b92915050565b61138c816112e4565b8114611396575f80fd5b50565b5f813590506113a781611383565b92915050565b5f80604083850312156113c3576113c26111e0565b5b5f6113d085828601611207565b92505060206113e185828601611399565b9150509250929050565b5f8115159050919050565b6113ff816113eb565b82525050565b5f6020820190506114185f8301846113f6565b92915050565b5f80fd5b5f80fd5b5f80fd5b5f8083601f84011261143f5761143e61141e565b5b8235905067ffffffffffffffff81111561145c5761145b611422565b5b60208301915083600182028301111561147857611477611426565b5b9250929050565b5f805f60408486031215611496576114956111e0565b5b5f6114a386828701611207565b935050602084013567ffffffffffffffff8111156114c4576114c36111e4565b5b6114d08682870161142a565b92509250509250925092565b6114e5816113eb565b81146114ef575f80fd5b50565b5f81359050611500816114dc565b92915050565b5f806040838503121561151c5761151b6111e0565b5b5f61152985828601611207565b925050602061153a858286016114f2565b9150509250929050565b5f60e0820190506115575f83018a611246565b6115646020830189611246565b8181036040830152611576818861128d565b905061158560608301876112f5565b6115926080830186611246565b61159f60a0830185611246565b6115ac60c0830184611246565b98975050505050505050565b5f80602083850312156115ce576115cd6111e0565b5b5f83013567ffffffffffffffff8111156115eb576115ea6111e4565b5b6115f78582860161142a565b92509250509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061164757607f821691505b60208210810361165a57611659611603565b5b50919050565b7f506f737420646f6573206e6f74206578697374000000000000000000000000005f82015250565b5f61169460138361125f565b915061169f82611660565b602082019050919050565b5f6020820190508181035f8301526116c181611688565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6116ff826111e8565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611731576117306116c8565b5b600182019050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026117c57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261178a565b6117cf868361178a565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61180a611805611800846111e8565b6117e7565b6111e8565b9050919050565b5f819050919050565b611823836117f0565b61183761182f82611811565b848454611796565b825550505050565b5f90565b61184b61183f565b61185681848461181a565b505050565b5b818110156118795761186e5f82611843565b60018101905061185c565b5050565b601f8211156118be5761188f81611769565b6118988461177b565b810160208510156118a7578190505b6118bb6118b38561177b565b83018261185b565b50505b505050565b5f82821c905092915050565b5f6118de5f19846008026118c3565b1980831691505092915050565b5f6118f683836118cf565b9150826002028217905092915050565b61190f82611255565b67ffffffffffffffff8111156119285761192761173c565b5b6119328254611630565b61193d82828561187d565b5f60209050601f83116001811461196e575f841561195c578287015190505b61196685826118eb565b8655506119cd565b601f19841661197c86611769565b5f5b828110156119a35784890151825560018201915060208501945060208101905061197e565b868310156119c057848901516119bc601f8916826118cf565b8355505b6001600288020188555050505b505050505050565b828183375f83830152505050565b5f6119ee838561125f565b93506119fb8385846119d5565b611a048361127d565b840190509392505050565b5f60a082019050611a225f830189611246565b611a2f6020830188611246565b8181036040830152611a428186886119e3565b9050611a5160608301856112f5565b611a5e6080830184611246565b979650505050505050565b7f596f75206861766520616c7265616479206c696b6564207468697320706f73745f82015250565b5f611a9d60208361125f565b9150611aa882611a69565b602082019050919050565b5f6020820190508181035f830152611aca81611a91565b9050919050565b5f611adb826111e8565b91505f8203611aed57611aec6116c8565b5b600182039050919050565b7f596f75206861766520616c7265616479206469736c696b6564207468697320705f8201527f6f73740000000000000000000000000000000000000000000000000000000000602082015250565b5f611b5260238361125f565b9150611b5d82611af8565b604082019050919050565b5f6020820190508181035f830152611b7f81611b46565b9050919050565b5f606082019050611b995f830186611246565b611ba660208301856112f5565b611bb360408301846113f6565b949350505050565b5f608082019050611bce5f830188611246565b8181036020830152611be18186886119e3565b9050611bf060408301856112f5565b611bfd6060830184611246565b9695505050505050565b7f436f6d6d656e7420646f6573206e6f74206578697374000000000000000000005f82015250565b5f611c3b60168361125f565b9150611c4682611c07565b602082019050919050565b5f6020820190508181035f830152611c6881611c2f565b9050919050565b7f596f75206861766520616c7265616479206c696b6564207468697320636f6d6d5f8201527f656e740000000000000000000000000000000000000000000000000000000000602082015250565b5f611cc960238361125f565b9150611cd482611c6f565b604082019050919050565b5f6020820190508181035f830152611cf681611cbd565b9050919050565b7f596f75206861766520616c7265616479206469736c696b6564207468697320635f8201527f6f6d6d656e740000000000000000000000000000000000000000000000000000602082015250565b5f611d5760268361125f565b9150611d6282611cfd565b604082019050919050565b5f6020820190508181035f830152611d8481611d4b565b905091905056fea26469706673582212200da566f39a65f4d5dc97ef0ebb1ff3cf631f8f41ee7a2ff525007727a56d625764736f6c634300081a0033

60:4103:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;516:34;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;447:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;836:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1555:372;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;649:61;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;479:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1935:1059;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;907:67;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;557:40;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;;:::i;:::-;;;;;;;;1295:252;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3002:1158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;717:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;516:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;447:25::-;;;;:::o;836:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1555:372::-;1666:1;1646:5;:14;1652:7;1646:14;;;;;;;;;;;:17;;;:21;1638:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;1702:12;;:14;;;;;;;;;:::i;:::-;;;;;;1752:75;;;;;;;;1760:12;;1752:75;;;;1774:7;1752:75;;;;1783:8;;1752:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1793:10;1752:75;;;;;;1805:15;1752:75;;;;1822:1;1752:75;;;;1825:1;1752:75;;;1727:8;:22;1736:12;;1727:22;;;;;;;;;;;:100;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1843:76;1858:12;;1872:7;1881:8;;1891:10;1903:15;1843:76;;;;;;;;;;;:::i;:::-;;;;;;;;1555:372;;;:::o;649:61::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;479:28::-;;;;:::o;1935:1059::-;2027:1;2007:5;:14;2013:7;2007:14;;;;;;;;;;;:17;;;:21;1999:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;2069:5;2065:867;;;2100:12;:21;2113:7;2100:21;;;;;;;;;;;:33;2122:10;2100:33;;;;;;;;;;;;;;;;;;;;;;;;;2099:34;2091:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;2221:4;2185:12;:21;2198:7;2185:21;;;;;;;;;;;:33;2207:10;2185:33;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;2290:15;:24;2306:7;2290:24;;;;;;;;;;;:36;2315:10;2290:36;;;;;;;;;;;;;;;;;;;;;;;;;2286:165;;;2386:5;2347:15;:24;2363:7;2347:24;;;;;;;;;;;:36;2372:10;2347:36;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;2410:5;:14;2416:7;2410:14;;;;;;;;;;;:23;;;:25;;;;;;;;;:::i;:::-;;;;;;2286:165;2467:5;:14;2473:7;2467:14;;;;;;;;;;;:20;;;:22;;;;;;;;;:::i;:::-;;;;;;2065:867;;;2531:15;:24;2547:7;2531:24;;;;;;;;;;;:36;2556:10;2531:36;;;;;;;;;;;;;;;;;;;;;;;;;2530:37;2522:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;2661:4;2622:15;:24;2638:7;2622:24;;;;;;;;;;;:36;2647:10;2622:36;;;;;;;;;;;;;;;;:43;;;;;;;;;;;;;;;;;;2727:12;:21;2740:7;2727:21;;;;;;;;;;;:33;2749:10;2727:33;;;;;;;;;;;;;;;;;;;;;;;;;2723:156;;;2817:5;2781:12;:21;2794:7;2781:21;;;;;;;;;;;:33;2803:10;2781:33;;;;;;;;;;;;;;;;:41;;;;;;;;;;;;;;;;;;2841:5;:14;2847:7;2841:14;;;;;;;;;;;:20;;;:22;;;;;;;;;:::i;:::-;;;;;;2723:156;2895:5;:14;2901:7;2895:14;;;;;;;;;;;:23;;;:25;;;;;;;;;:::i;:::-;;;;;;2065:867;2949:37;2959:7;2968:10;2980:5;2949:37;;;;;;;;:::i;:::-;;;;;;;;1935:1059;;:::o;907:67::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;557:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1295:252::-;1361:9;;:11;;;;;;;;;:::i;:::-;;;;;;1402:60;;;;;;;;1407:9;;1402:60;;;;1418:8;;1402:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1428:10;1402:60;;;;;;1440:15;1402:60;;;;1457:1;1402:60;;;;1460:1;1402:60;;;1383:5;:16;1389:9;;1383:16;;;;;;;;;;;:79;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1478:61;1490:9;;1501:8;;1511:10;1523:15;1478:61;;;;;;;;;;:::i;:::-;;;;;;;;1295:252;;:::o;3002:1158::-;3106:1;3080:8;:20;3089:10;3080:20;;;;;;;;;;;:23;;;:27;3072:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;3151:5;3147:945;;;3182:15;:27;3198:10;3182:27;;;;;;;;;;;:39;3210:10;3182:39;;;;;;;;;;;;;;;;;;;;;;;;;3181:40;3173:88;;;;;;;;;;;;:::i;:::-;;;;;;;;;3318:4;3276:15;:27;3292:10;3276:27;;;;;;;;;;;:39;3304:10;3276:39;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;3387:18;:30;3406:10;3387:30;;;;;;;;;;;:42;3418:10;3387:42;;;;;;;;;;;;;;;;;;;;;;;;;3383:183;;;3495:5;3450:18;:30;3469:10;3450:30;;;;;;;;;;;:42;3481:10;3450:42;;;;;;;;;;;;;;;;:50;;;;;;;;;;;;;;;;;;3519:8;:20;3528:10;3519:20;;;;;;;;;;;:29;;;:31;;;;;;;;;:::i;:::-;;;;;;3383:183;3582:8;:20;3591:10;3582:20;;;;;;;;;;;:26;;;:28;;;;;;;;;:::i;:::-;;;;;;3147:945;;;3652:18;:30;3671:10;3652:30;;;;;;;;;;;:42;3683:10;3652:42;;;;;;;;;;;;;;;;;;;;;;;;;3651:43;3643:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;3797:4;3752:18;:30;3771:10;3752:30;;;;;;;;;;;:42;3783:10;3752:42;;;;;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;3863:15;:27;3879:10;3863:27;;;;;;;;;;;:39;3891:10;3863:39;;;;;;;;;;;;;;;;;;;;;;;;;3859:174;;;3965:5;3923:15;:27;3939:10;3923:27;;;;;;;;;;;:39;3951:10;3923:39;;;;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;3989:8;:20;3998:10;3989:20;;;;;;;;;;;:26;;;:28;;;;;;;;;:::i;:::-;;;;;;3859:174;4049:8;:20;4058:10;4049:20;;;;;;;;;;;:29;;;:31;;;;;;;;;:::i;:::-;;;;;;3147:945;4109:43;4122:10;4134;4146:5;4109:43;;;;;;;;:::i;:::-;;;;;;;;3002:1158;;:::o;717:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;88:117:1:-;197:1;194;187:12;211:117;320:1;317;310:12;334:77;371:7;400:5;389:16;;334:77;;;:::o;417:122::-;490:24;508:5;490:24;:::i;:::-;483:5;480:35;470:63;;529:1;526;519:12;470:63;417:122;:::o;545:139::-;591:5;629:6;616:20;607:29;;645:33;672:5;645:33;:::i;:::-;545:139;;;;:::o;690:329::-;749:6;798:2;786:9;777:7;773:23;769:32;766:119;;;804:79;;:::i;:::-;766:119;924:1;949:53;994:7;985:6;974:9;970:22;949:53;:::i;:::-;939:63;;895:117;690:329;;;;:::o;1025:118::-;1112:24;1130:5;1112:24;:::i;:::-;1107:3;1100:37;1025:118;;:::o;1149:99::-;1201:6;1235:5;1229:12;1219:22;;1149:99;;;:::o;1254:169::-;1338:11;1372:6;1367:3;1360:19;1412:4;1407:3;1403:14;1388:29;;1254:169;;;;:::o;1429:139::-;1518:6;1513:3;1508;1502:23;1559:1;1550:6;1545:3;1541:16;1534:27;1429:139;;;:::o;1574:102::-;1615:6;1666:2;1662:7;1657:2;1650:5;1646:14;1642:28;1632:38;;1574:102;;;:::o;1682:377::-;1770:3;1798:39;1831:5;1798:39;:::i;:::-;1853:71;1917:6;1912:3;1853:71;:::i;:::-;1846:78;;1933:65;1991:6;1986:3;1979:4;1972:5;1968:16;1933:65;:::i;:::-;2023:29;2045:6;2023:29;:::i;:::-;2018:3;2014:39;2007:46;;1774:285;1682:377;;;;:::o;2065:126::-;2102:7;2142:42;2135:5;2131:54;2120:65;;2065:126;;;:::o;2197:96::-;2234:7;2263:24;2281:5;2263:24;:::i;:::-;2252:35;;2197:96;;;:::o;2299:118::-;2386:24;2404:5;2386:24;:::i;:::-;2381:3;2374:37;2299:118;;:::o;2423:866::-;2676:4;2714:3;2703:9;2699:19;2691:27;;2728:71;2796:1;2785:9;2781:17;2772:6;2728:71;:::i;:::-;2846:9;2840:4;2836:20;2831:2;2820:9;2816:18;2809:48;2874:78;2947:4;2938:6;2874:78;:::i;:::-;2866:86;;2962:72;3030:2;3019:9;3015:18;3006:6;2962:72;:::i;:::-;3044;3112:2;3101:9;3097:18;3088:6;3044:72;:::i;:::-;3126:73;3194:3;3183:9;3179:19;3170:6;3126:73;:::i;:::-;3209;3277:3;3266:9;3262:19;3253:6;3209:73;:::i;:::-;2423:866;;;;;;;;;:::o;3295:222::-;3388:4;3426:2;3415:9;3411:18;3403:26;;3439:71;3507:1;3496:9;3492:17;3483:6;3439:71;:::i;:::-;3295:222;;;;:::o;3523:122::-;3596:24;3614:5;3596:24;:::i;:::-;3589:5;3586:35;3576:63;;3635:1;3632;3625:12;3576:63;3523:122;:::o;3651:139::-;3697:5;3735:6;3722:20;3713:29;;3751:33;3778:5;3751:33;:::i;:::-;3651:139;;;;:::o;3796:474::-;3864:6;3872;3921:2;3909:9;3900:7;3896:23;3892:32;3889:119;;;3927:79;;:::i;:::-;3889:119;4047:1;4072:53;4117:7;4108:6;4097:9;4093:22;4072:53;:::i;:::-;4062:63;;4018:117;4174:2;4200:53;4245:7;4236:6;4225:9;4221:22;4200:53;:::i;:::-;4190:63;;4145:118;3796:474;;;;;:::o;4276:90::-;4310:7;4353:5;4346:13;4339:21;4328:32;;4276:90;;;:::o;4372:109::-;4453:21;4468:5;4453:21;:::i;:::-;4448:3;4441:34;4372:109;;:::o;4487:210::-;4574:4;4612:2;4601:9;4597:18;4589:26;;4625:65;4687:1;4676:9;4672:17;4663:6;4625:65;:::i;:::-;4487:210;;;;:::o;4703:117::-;4812:1;4809;4802:12;4826:117;4935:1;4932;4925:12;4949:117;5058:1;5055;5048:12;5086:553;5144:8;5154:6;5204:3;5197:4;5189:6;5185:17;5181:27;5171:122;;5212:79;;:::i;:::-;5171:122;5325:6;5312:20;5302:30;;5355:18;5347:6;5344:30;5341:117;;;5377:79;;:::i;:::-;5341:117;5491:4;5483:6;5479:17;5467:29;;5545:3;5537:4;5529:6;5525:17;5515:8;5511:32;5508:41;5505:128;;;5552:79;;:::i;:::-;5505:128;5086:553;;;;;:::o;5645:674::-;5725:6;5733;5741;5790:2;5778:9;5769:7;5765:23;5761:32;5758:119;;;5796:79;;:::i;:::-;5758:119;5916:1;5941:53;5986:7;5977:6;5966:9;5962:22;5941:53;:::i;:::-;5931:63;;5887:117;6071:2;6060:9;6056:18;6043:32;6102:18;6094:6;6091:30;6088:117;;;6124:79;;:::i;:::-;6088:117;6237:65;6294:7;6285:6;6274:9;6270:22;6237:65;:::i;:::-;6219:83;;;;6014:298;5645:674;;;;;:::o;6325:116::-;6395:21;6410:5;6395:21;:::i;:::-;6388:5;6385:32;6375:60;;6431:1;6428;6421:12;6375:60;6325:116;:::o;6447:133::-;6490:5;6528:6;6515:20;6506:29;;6544:30;6568:5;6544:30;:::i;:::-;6447:133;;;;:::o;6586:468::-;6651:6;6659;6708:2;6696:9;6687:7;6683:23;6679:32;6676:119;;;6714:79;;:::i;:::-;6676:119;6834:1;6859:53;6904:7;6895:6;6884:9;6880:22;6859:53;:::i;:::-;6849:63;;6805:117;6961:2;6987:50;7029:7;7020:6;7009:9;7005:22;6987:50;:::i;:::-;6977:60;;6932:115;6586:468;;;;;:::o;7060:977::-;7341:4;7379:3;7368:9;7364:19;7356:27;;7393:71;7461:1;7450:9;7446:17;7437:6;7393:71;:::i;:::-;7474:72;7542:2;7531:9;7527:18;7518:6;7474:72;:::i;:::-;7593:9;7587:4;7583:20;7578:2;7567:9;7563:18;7556:48;7621:78;7694:4;7685:6;7621:78;:::i;:::-;7613:86;;7709:72;7777:2;7766:9;7762:18;7753:6;7709:72;:::i;:::-;7791:73;7859:3;7848:9;7844:19;7835:6;7791:73;:::i;:::-;7874;7942:3;7931:9;7927:19;7918:6;7874:73;:::i;:::-;7957;8025:3;8014:9;8010:19;8001:6;7957:73;:::i;:::-;7060:977;;;;;;;;;;:::o;8043:529::-;8114:6;8122;8171:2;8159:9;8150:7;8146:23;8142:32;8139:119;;;8177:79;;:::i;:::-;8139:119;8325:1;8314:9;8310:17;8297:31;8355:18;8347:6;8344:30;8341:117;;;8377:79;;:::i;:::-;8341:117;8490:65;8547:7;8538:6;8527:9;8523:22;8490:65;:::i;:::-;8472:83;;;;8268:297;8043:529;;;;;:::o;8578:180::-;8626:77;8623:1;8616:88;8723:4;8720:1;8713:15;8747:4;8744:1;8737:15;8764:320;8808:6;8845:1;8839:4;8835:12;8825:22;;8892:1;8886:4;8882:12;8913:18;8903:81;;8969:4;8961:6;8957:17;8947:27;;8903:81;9031:2;9023:6;9020:14;9000:18;8997:38;8994:84;;9050:18;;:::i;:::-;8994:84;8815:269;8764:320;;;:::o;9090:169::-;9230:21;9226:1;9218:6;9214:14;9207:45;9090:169;:::o;9265:366::-;9407:3;9428:67;9492:2;9487:3;9428:67;:::i;:::-;9421:74;;9504:93;9593:3;9504:93;:::i;:::-;9622:2;9617:3;9613:12;9606:19;;9265:366;;;:::o;9637:419::-;9803:4;9841:2;9830:9;9826:18;9818:26;;9890:9;9884:4;9880:20;9876:1;9865:9;9861:17;9854:47;9918:131;10044:4;9918:131;:::i;:::-;9910:139;;9637:419;;;:::o;10062:180::-;10110:77;10107:1;10100:88;10207:4;10204:1;10197:15;10231:4;10228:1;10221:15;10248:233;10287:3;10310:24;10328:5;10310:24;:::i;:::-;10301:33;;10356:66;10349:5;10346:77;10343:103;;10426:18;;:::i;:::-;10343:103;10473:1;10466:5;10462:13;10455:20;;10248:233;;;:::o;10487:180::-;10535:77;10532:1;10525:88;10632:4;10629:1;10622:15;10656:4;10653:1;10646:15;10673:141;10722:4;10745:3;10737:11;;10768:3;10765:1;10758:14;10802:4;10799:1;10789:18;10781:26;;10673:141;;;:::o;10820:93::-;10857:6;10904:2;10899;10892:5;10888:14;10884:23;10874:33;;10820:93;;;:::o;10919:107::-;10963:8;11013:5;11007:4;11003:16;10982:37;;10919:107;;;;:::o;11032:393::-;11101:6;11151:1;11139:10;11135:18;11174:97;11204:66;11193:9;11174:97;:::i;:::-;11292:39;11322:8;11311:9;11292:39;:::i;:::-;11280:51;;11364:4;11360:9;11353:5;11349:21;11340:30;;11413:4;11403:8;11399:19;11392:5;11389:30;11379:40;;11108:317;;11032:393;;;;;:::o;11431:60::-;11459:3;11480:5;11473:12;;11431:60;;;:::o;11497:142::-;11547:9;11580:53;11598:34;11607:24;11625:5;11607:24;:::i;:::-;11598:34;:::i;:::-;11580:53;:::i;:::-;11567:66;;11497:142;;;:::o;11645:75::-;11688:3;11709:5;11702:12;;11645:75;;;:::o;11726:269::-;11836:39;11867:7;11836:39;:::i;:::-;11897:91;11946:41;11970:16;11946:41;:::i;:::-;11938:6;11931:4;11925:11;11897:91;:::i;:::-;11891:4;11884:105;11802:193;11726:269;;;:::o;12001:73::-;12046:3;12001:73;:::o;12080:189::-;12157:32;;:::i;:::-;12198:65;12256:6;12248;12242:4;12198:65;:::i;:::-;12133:136;12080:189;;:::o;12275:186::-;12335:120;12352:3;12345:5;12342:14;12335:120;;;12406:39;12443:1;12436:5;12406:39;:::i;:::-;12379:1;12372:5;12368:13;12359:22;;12335:120;;;12275:186;;:::o;12467:543::-;12568:2;12563:3;12560:11;12557:446;;;12602:38;12634:5;12602:38;:::i;:::-;12686:29;12704:10;12686:29;:::i;:::-;12676:8;12672:44;12869:2;12857:10;12854:18;12851:49;;;12890:8;12875:23;;12851:49;12913:80;12969:22;12987:3;12969:22;:::i;:::-;12959:8;12955:37;12942:11;12913:80;:::i;:::-;12572:431;;12557:446;12467:543;;;:::o;13016:117::-;13070:8;13120:5;13114:4;13110:16;13089:37;;13016:117;;;;:::o;13139:169::-;13183:6;13216:51;13264:1;13260:6;13252:5;13249:1;13245:13;13216:51;:::i;:::-;13212:56;13297:4;13291;13287:15;13277:25;;13190:118;13139:169;;;;:::o;13313:295::-;13389:4;13535:29;13560:3;13554:4;13535:29;:::i;:::-;13527:37;;13597:3;13594:1;13590:11;13584:4;13581:21;13573:29;;13313:295;;;;:::o;13613:1395::-;13730:37;13763:3;13730:37;:::i;:::-;13832:18;13824:6;13821:30;13818:56;;;13854:18;;:::i;:::-;13818:56;13898:38;13930:4;13924:11;13898:38;:::i;:::-;13983:67;14043:6;14035;14029:4;13983:67;:::i;:::-;14077:1;14101:4;14088:17;;14133:2;14125:6;14122:14;14150:1;14145:618;;;;14807:1;14824:6;14821:77;;;14873:9;14868:3;14864:19;14858:26;14849:35;;14821:77;14924:67;14984:6;14977:5;14924:67;:::i;:::-;14918:4;14911:81;14780:222;14115:887;;14145:618;14197:4;14193:9;14185:6;14181:22;14231:37;14263:4;14231:37;:::i;:::-;14290:1;14304:208;14318:7;14315:1;14312:14;14304:208;;;14397:9;14392:3;14388:19;14382:26;14374:6;14367:42;14448:1;14440:6;14436:14;14426:24;;14495:2;14484:9;14480:18;14467:31;;14341:4;14338:1;14334:12;14329:17;;14304:208;;;14540:6;14531:7;14528:19;14525:179;;;14598:9;14593:3;14589:19;14583:26;14641:48;14683:4;14675:6;14671:17;14660:9;14641:48;:::i;:::-;14633:6;14626:64;14548:156;14525:179;14750:1;14746;14738:6;14734:14;14730:22;14724:4;14717:36;14152:611;;;14115:887;;13705:1303;;;13613:1395;;:::o;15014:148::-;15112:6;15107:3;15102;15089:30;15153:1;15144:6;15139:3;15135:16;15128:27;15014:148;;;:::o;15192:317::-;15290:3;15311:71;15375:6;15370:3;15311:71;:::i;:::-;15304:78;;15392:56;15441:6;15436:3;15429:5;15392:56;:::i;:::-;15473:29;15495:6;15473:29;:::i;:::-;15468:3;15464:39;15457:46;;15192:317;;;;;:::o;15515:775::-;15750:4;15788:3;15777:9;15773:19;15765:27;;15802:71;15870:1;15859:9;15855:17;15846:6;15802:71;:::i;:::-;15883:72;15951:2;15940:9;15936:18;15927:6;15883:72;:::i;:::-;16002:9;15996:4;15992:20;15987:2;15976:9;15972:18;15965:48;16030:88;16113:4;16104:6;16096;16030:88;:::i;:::-;16022:96;;16128:72;16196:2;16185:9;16181:18;16172:6;16128:72;:::i;:::-;16210:73;16278:3;16267:9;16263:19;16254:6;16210:73;:::i;:::-;15515:775;;;;;;;;;:::o;16296:182::-;16436:34;16432:1;16424:6;16420:14;16413:58;16296:182;:::o;16484:366::-;16626:3;16647:67;16711:2;16706:3;16647:67;:::i;:::-;16640:74;;16723:93;16812:3;16723:93;:::i;:::-;16841:2;16836:3;16832:12;16825:19;;16484:366;;;:::o;16856:419::-;17022:4;17060:2;17049:9;17045:18;17037:26;;17109:9;17103:4;17099:20;17095:1;17084:9;17080:17;17073:47;17137:131;17263:4;17137:131;:::i;:::-;17129:139;;16856:419;;;:::o;17281:171::-;17320:3;17343:24;17361:5;17343:24;:::i;:::-;17334:33;;17389:4;17382:5;17379:15;17376:41;;17397:18;;:::i;:::-;17376:41;17444:1;17437:5;17433:13;17426:20;;17281:171;;;:::o;17458:222::-;17598:34;17594:1;17586:6;17582:14;17575:58;17667:5;17662:2;17654:6;17650:15;17643:30;17458:222;:::o;17686:366::-;17828:3;17849:67;17913:2;17908:3;17849:67;:::i;:::-;17842:74;;17925:93;18014:3;17925:93;:::i;:::-;18043:2;18038:3;18034:12;18027:19;;17686:366;;;:::o;18058:419::-;18224:4;18262:2;18251:9;18247:18;18239:26;;18311:9;18305:4;18301:20;18297:1;18286:9;18282:17;18275:47;18339:131;18465:4;18339:131;:::i;:::-;18331:139;;18058:419;;;:::o;18483:430::-;18626:4;18664:2;18653:9;18649:18;18641:26;;18677:71;18745:1;18734:9;18730:17;18721:6;18677:71;:::i;:::-;18758:72;18826:2;18815:9;18811:18;18802:6;18758:72;:::i;:::-;18840:66;18902:2;18891:9;18887:18;18878:6;18840:66;:::i;:::-;18483:430;;;;;;:::o;18919:664::-;19126:4;19164:3;19153:9;19149:19;19141:27;;19178:71;19246:1;19235:9;19231:17;19222:6;19178:71;:::i;:::-;19296:9;19290:4;19286:20;19281:2;19270:9;19266:18;19259:48;19324:88;19407:4;19398:6;19390;19324:88;:::i;:::-;19316:96;;19422:72;19490:2;19479:9;19475:18;19466:6;19422:72;:::i;:::-;19504;19572:2;19561:9;19557:18;19548:6;19504:72;:::i;:::-;18919:664;;;;;;;;:::o;19589:172::-;19729:24;19725:1;19717:6;19713:14;19706:48;19589:172;:::o;19767:366::-;19909:3;19930:67;19994:2;19989:3;19930:67;:::i;:::-;19923:74;;20006:93;20095:3;20006:93;:::i;:::-;20124:2;20119:3;20115:12;20108:19;;19767:366;;;:::o;20139:419::-;20305:4;20343:2;20332:9;20328:18;20320:26;;20392:9;20386:4;20382:20;20378:1;20367:9;20363:17;20356:47;20420:131;20546:4;20420:131;:::i;:::-;20412:139;;20139:419;;;:::o;20564:222::-;20704:34;20700:1;20692:6;20688:14;20681:58;20773:5;20768:2;20760:6;20756:15;20749:30;20564:222;:::o;20792:366::-;20934:3;20955:67;21019:2;21014:3;20955:67;:::i;:::-;20948:74;;21031:93;21120:3;21031:93;:::i;:::-;21149:2;21144:3;21140:12;21133:19;;20792:366;;;:::o;21164:419::-;21330:4;21368:2;21357:9;21353:18;21345:26;;21417:9;21411:4;21407:20;21403:1;21392:9;21388:17;21381:47;21445:131;21571:4;21445:131;:::i;:::-;21437:139;;21164:419;;;:::o;21589:225::-;21729:34;21725:1;21717:6;21713:14;21706:58;21798:8;21793:2;21785:6;21781:15;21774:33;21589:225;:::o;21820:366::-;21962:3;21983:67;22047:2;22042:3;21983:67;:::i;:::-;21976:74;;22059:93;22148:3;22059:93;:::i;:::-;22177:2;22172:3;22168:12;22161:19;;21820:366;;;:::o;22192:419::-;22358:4;22396:2;22385:9;22381:18;22373:26;;22445:9;22439:4;22435:20;22431:1;22420:9;22416:17;22409:47;22473:131;22599:4;22473:131;:::i;:::-;22465:139;;22192:419;;;:::o

ipfs://0da566f39a65f4d5dc97ef0ebb1ff3cf631f8f41ee7a2ff525007727a56d6257