Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2026-01-20
*/

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

contract EuroFinanceWERC {
    string public name = "Wien Euro Reserve Coin";
    string public symbol = "WERC";
    uint8 public decimals = 18;

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) public allowance;

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    constructor() {
        uint256 initialSupply = 55_000_000_000 * 10 ** uint256(decimals);
        totalSupply = initialSupply;
        balanceOf[msg.sender] = initialSupply;
        emit Transfer(address(0), msg.sender, initialSupply);
    }

    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0), "ERC20: transfer to the zero address");
        uint256 fromBalance = balanceOf[from];
        require(fromBalance >= value, "ERC20: transfer amount exceeds balance");
        unchecked {
            balanceOf[from] = fromBalance - value;
        }
        balanceOf[to] += value;
        emit Transfer(from, to, value);
    }

    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function approve(address spender, uint256 value) public returns (bool) {
        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        uint256 currentAllowance = allowance[from][msg.sender];
        require(currentAllowance >= value, "ERC20: transfer amount exceeds allowance");
        unchecked {
            allowance[from][msg.sender] = currentAllowance - value;
        }
        _transfer(from, to, value);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280601681526020017f5769656e204575726f205265736572766520436f696e000000000000000000008152505f908161004791906103d6565b506040518060400160405280600481526020017f57455243000000000000000000000000000000000000000000000000000000008152506001908161008c91906103d6565b50601260025f6101000a81548160ff021916908360ff1602179055503480156100b3575f5ffd5b505f60025f9054906101000a900460ff1660ff16600a6100d39190610601565b640cce4166006100e3919061064b565b9050806003819055508060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161018b919061069b565b60405180910390a3506106b4565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061021457607f821691505b602082108103610227576102266101d0565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261024e565b610293868361024e565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f6102d76102d26102cd846102ab565b6102b4565b6102ab565b9050919050565b5f819050919050565b6102f0836102bd565b6103046102fc826102de565b84845461025a565b825550505050565b5f5f905090565b61031b61030c565b6103268184846102e7565b505050565b5b818110156103495761033e5f82610313565b60018101905061032c565b5050565b601f82111561038e5761035f8161022d565b6103688461023f565b81016020851015610377578190505b61038b6103838561023f565b83018261032b565b50505b505050565b5f82821c905092915050565b5f6103ae5f1984600802610393565b1980831691505092915050565b5f6103c6838361039f565b9150826002028217905092915050565b6103df82610199565b67ffffffffffffffff8111156103f8576103f76101a3565b5b61040282546101fd565b61040d82828561034d565b5f60209050601f83116001811461043e575f841561042c578287015190505b61043685826103bb565b86555061049d565b601f19841661044c8661022d565b5f5b828110156104735784890151825560018201915060208501945060208101905061044e565b86831015610490578489015161048c601f89168261039f565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b600185111561052757808604811115610503576105026104a5565b5b60018516156105125780820291505b8081029050610520856104d2565b94506104e7565b94509492505050565b5f8261053f57600190506105fa565b8161054c575f90506105fa565b8160018114610562576002811461056c5761059b565b60019150506105fa565b60ff84111561057e5761057d6104a5565b5b8360020a915084821115610595576105946104a5565b5b506105fa565b5060208310610133831016604e8410600b84101617156105d05782820a9050838111156105cb576105ca6104a5565b5b6105fa565b6105dd84848460016104de565b925090508184048111156105f4576105f36104a5565b5b81810290505b9392505050565b5f61060b826102ab565b9150610616836102ab565b92506106437fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610530565b905092915050565b5f610655826102ab565b9150610660836102ab565b925082820261066e816102ab565b91508282048414831517610685576106846104a5565b5b5092915050565b610695816102ab565b82525050565b5f6020820190506106ae5f83018461068c565b92915050565b610cf2806106c15f395ff3fe608060405234801561000f575f5ffd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f5ffd5b61009d6101fd565b6040516100aa919061081e565b60405180910390f35b6100cd60048036038101906100c891906108cf565b610288565b6040516100da9190610927565b60405180910390f35b6100eb610375565b6040516100f8919061094f565b60405180910390f35b61011b60048036038101906101169190610968565b61037b565b6040516101289190610927565b60405180910390f35b6101396104d1565b60405161014691906109d3565b60405180910390f35b610169600480360381019061016491906109ec565b6104e3565b604051610176919061094f565b60405180910390f35b6101876104f8565b604051610194919061081e565b60405180910390f35b6101b760048036038101906101b291906108cf565b610584565b6040516101c49190610927565b60405180910390f35b6101e760048036038101906101e29190610a17565b61059a565b6040516101f4919061094f565b60405180910390f35b5f805461020990610a82565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610a82565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610363919061094f565b60405180910390a36001905092915050565b60035481565b5f5f60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508281101561043b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043290610b22565b60405180910390fd5b82810360055f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506104c58585856105ba565b60019150509392505050565b60025f9054906101000a900460ff1681565b6004602052805f5260405f205f915090505481565b6001805461050590610a82565b80601f016020809104026020016040519081016040528092919081815260200182805461053190610a82565b801561057c5780601f106105535761010080835404028352916020019161057c565b820191905f5260205f20905b81548152906001019060200180831161055f57829003601f168201915b505050505081565b5f6105903384846105ba565b6001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610628576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061f90610bb0565b60405180910390fd5b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156106ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a390610c3e565b60405180910390fd5b81810360045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461073c9190610c89565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107a0919061094f565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6107f0826107ae565b6107fa81856107b8565b935061080a8185602086016107c8565b610813816107d6565b840191505092915050565b5f6020820190508181035f83015261083681846107e6565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61086b82610842565b9050919050565b61087b81610861565b8114610885575f5ffd5b50565b5f8135905061089681610872565b92915050565b5f819050919050565b6108ae8161089c565b81146108b8575f5ffd5b50565b5f813590506108c9816108a5565b92915050565b5f5f604083850312156108e5576108e461083e565b5b5f6108f285828601610888565b9250506020610903858286016108bb565b9150509250929050565b5f8115159050919050565b6109218161090d565b82525050565b5f60208201905061093a5f830184610918565b92915050565b6109498161089c565b82525050565b5f6020820190506109625f830184610940565b92915050565b5f5f5f6060848603121561097f5761097e61083e565b5b5f61098c86828701610888565b935050602061099d86828701610888565b92505060406109ae868287016108bb565b9150509250925092565b5f60ff82169050919050565b6109cd816109b8565b82525050565b5f6020820190506109e65f8301846109c4565b92915050565b5f60208284031215610a0157610a0061083e565b5b5f610a0e84828501610888565b91505092915050565b5f5f60408385031215610a2d57610a2c61083e565b5b5f610a3a85828601610888565b9250506020610a4b85828601610888565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610a9957607f821691505b602082108103610aac57610aab610a55565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f610b0c6028836107b8565b9150610b1782610ab2565b604082019050919050565b5f6020820190508181035f830152610b3981610b00565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f610b9a6023836107b8565b9150610ba582610b40565b604082019050919050565b5f6020820190508181035f830152610bc781610b8e565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f610c286026836107b8565b9150610c3382610bce565b604082019050919050565b5f6020820190508181035f830152610c5581610c1c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610c938261089c565b9150610c9e8361089c565b9250828201905080821115610cb657610cb5610c5c565b5b9291505056fea2646970667358221220770105d6a9fda50fcbb36817b3cd241bae53184960842ce07a747d9636933d4464736f6c634300081f0033

0x608060405234801561000f575f5ffd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f5ffd5b61009d6101fd565b6040516100aa919061081e565b60405180910390f35b6100cd60048036038101906100c891906108cf565b610288565b6040516100da9190610927565b60405180910390f35b6100eb610375565b6040516100f8919061094f565b60405180910390f35b61011b60048036038101906101169190610968565b61037b565b6040516101289190610927565b60405180910390f35b6101396104d1565b60405161014691906109d3565b60405180910390f35b610169600480360381019061016491906109ec565b6104e3565b604051610176919061094f565b60405180910390f35b6101876104f8565b604051610194919061081e565b60405180910390f35b6101b760048036038101906101b291906108cf565b610584565b6040516101c49190610927565b60405180910390f35b6101e760048036038101906101e29190610a17565b61059a565b6040516101f4919061094f565b60405180910390f35b5f805461020990610a82565b80601f016020809104026020016040519081016040528092919081815260200182805461023590610a82565b80156102805780601f1061025757610100808354040283529160200191610280565b820191905f5260205f20905b81548152906001019060200180831161026357829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610363919061094f565b60405180910390a36001905092915050565b60035481565b5f5f60055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508281101561043b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043290610b22565b60405180910390fd5b82810360055f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506104c58585856105ba565b60019150509392505050565b60025f9054906101000a900460ff1681565b6004602052805f5260405f205f915090505481565b6001805461050590610a82565b80601f016020809104026020016040519081016040528092919081815260200182805461053190610a82565b801561057c5780601f106105535761010080835404028352916020019161057c565b820191905f5260205f20905b81548152906001019060200180831161055f57829003601f168201915b505050505081565b5f6105903384846105ba565b6001905092915050565b6005602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610628576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161061f90610bb0565b60405180910390fd5b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156106ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a390610c3e565b60405180910390fd5b81810360045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461073c9190610c89565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107a0919061094f565b60405180910390a350505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6107f0826107ae565b6107fa81856107b8565b935061080a8185602086016107c8565b610813816107d6565b840191505092915050565b5f6020820190508181035f83015261083681846107e6565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61086b82610842565b9050919050565b61087b81610861565b8114610885575f5ffd5b50565b5f8135905061089681610872565b92915050565b5f819050919050565b6108ae8161089c565b81146108b8575f5ffd5b50565b5f813590506108c9816108a5565b92915050565b5f5f604083850312156108e5576108e461083e565b5b5f6108f285828601610888565b9250506020610903858286016108bb565b9150509250929050565b5f8115159050919050565b6109218161090d565b82525050565b5f60208201905061093a5f830184610918565b92915050565b6109498161089c565b82525050565b5f6020820190506109625f830184610940565b92915050565b5f5f5f6060848603121561097f5761097e61083e565b5b5f61098c86828701610888565b935050602061099d86828701610888565b92505060406109ae868287016108bb565b9150509250925092565b5f60ff82169050919050565b6109cd816109b8565b82525050565b5f6020820190506109e65f8301846109c4565b92915050565b5f60208284031215610a0157610a0061083e565b5b5f610a0e84828501610888565b91505092915050565b5f5f60408385031215610a2d57610a2c61083e565b5b5f610a3a85828601610888565b9250506020610a4b85828601610888565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610a9957607f821691505b602082108103610aac57610aab610a55565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f610b0c6028836107b8565b9150610b1782610ab2565b604082019050919050565b5f6020820190508181035f830152610b3981610b00565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f610b9a6023836107b8565b9150610ba582610b40565b604082019050919050565b5f6020820190508181035f830152610bc781610b8e565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f610c286026836107b8565b9150610c3382610bce565b604082019050919050565b5f6020820190508181035f830152610c5581610c1c565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610c938261089c565b9150610c9e8361089c565b9250828201905080821115610cb657610cb5610c5c565b5b9291505056fea2646970667358221220770105d6a9fda50fcbb36817b3cd241bae53184960842ce07a747d9636933d4464736f6c634300081f0033

61:1948:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;93:45;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1389:202;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;216:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1599:407;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;181:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;251:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;145:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1241:140;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;302:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93:45;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1389:202::-;1454:4;1504:5;1471:9;:21;1481:10;1471:21;;;;;;;;;;;;;;;:30;1493:7;1471:30;;;;;;;;;;;;;;;:38;;;;1546:7;1525:36;;1534:10;1525:36;;;1555:5;1525:36;;;;;;:::i;:::-;;;;;;;;1579:4;1572:11;;1389:202;;;;:::o;216:26::-;;;;:::o;1599:407::-;1678:4;1695:24;1722:9;:15;1732:4;1722:15;;;;;;;;;;;;;;;:27;1738:10;1722:27;;;;;;;;;;;;;;;;1695:54;;1788:5;1768:16;:25;;1760:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;1923:5;1904:16;:24;1874:9;:15;1884:4;1874:15;;;;;;;;;;;;;;;:27;1890:10;1874:27;;;;;;;;;;;;;;;:54;;;;1950:26;1960:4;1966:2;1970:5;1950:9;:26::i;:::-;1994:4;1987:11;;;1599:407;;;;;:::o;181:26::-;;;;;;;;;;;;;:::o;251:44::-;;;;;;;;;;;;;;;;;:::o;145:29::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1241:140::-;1302:4;1319:32;1329:10;1341:2;1345:5;1319:9;:32::i;:::-;1369:4;1362:11;;1241:140;;;;:::o;302:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;793:440::-;895:1;881:16;;:2;:16;;;873:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;948:19;970:9;:15;980:4;970:15;;;;;;;;;;;;;;;;948:37;;1019:5;1004:11;:20;;996:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;1135:5;1121:11;:19;1103:9;:15;1113:4;1103:15;;;;;;;;;;;;;;;:37;;;;1179:5;1162:9;:13;1172:2;1162:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;1215:2;1200:25;;1209:4;1200:25;;;1219:5;1200:25;;;;;;:::i;:::-;;;;;;;;862:371;793:440;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:474::-;5149:6;5157;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5459:2;5485:53;5530:7;5521:6;5510:9;5506:22;5485:53;:::i;:::-;5475:63;;5430:118;5081:474;;;;;:::o;5561:180::-;5609:77;5606:1;5599:88;5706:4;5703:1;5696:15;5730:4;5727:1;5720:15;5747:320;5791:6;5828:1;5822:4;5818:12;5808:22;;5875:1;5869:4;5865:12;5896:18;5886:81;;5952:4;5944:6;5940:17;5930:27;;5886:81;6014:2;6006:6;6003:14;5983:18;5980:38;5977:84;;6033:18;;:::i;:::-;5977:84;5798:269;5747:320;;;:::o;6073:227::-;6213:34;6209:1;6201:6;6197:14;6190:58;6282:10;6277:2;6269:6;6265:15;6258:35;6073:227;:::o;6306:366::-;6448:3;6469:67;6533:2;6528:3;6469:67;:::i;:::-;6462:74;;6545:93;6634:3;6545:93;:::i;:::-;6663:2;6658:3;6654:12;6647:19;;6306:366;;;:::o;6678:419::-;6844:4;6882:2;6871:9;6867:18;6859:26;;6931:9;6925:4;6921:20;6917:1;6906:9;6902:17;6895:47;6959:131;7085:4;6959:131;:::i;:::-;6951:139;;6678:419;;;:::o;7103:222::-;7243:34;7239:1;7231:6;7227:14;7220:58;7312:5;7307:2;7299:6;7295:15;7288:30;7103:222;:::o;7331:366::-;7473:3;7494:67;7558:2;7553:3;7494:67;:::i;:::-;7487:74;;7570:93;7659:3;7570:93;:::i;:::-;7688:2;7683:3;7679:12;7672:19;;7331:366;;;:::o;7703:419::-;7869:4;7907:2;7896:9;7892:18;7884:26;;7956:9;7950:4;7946:20;7942:1;7931:9;7927:17;7920:47;7984:131;8110:4;7984:131;:::i;:::-;7976:139;;7703:419;;;:::o;8128:225::-;8268:34;8264:1;8256:6;8252:14;8245:58;8337:8;8332:2;8324:6;8320:15;8313:33;8128:225;:::o;8359:366::-;8501:3;8522:67;8586:2;8581:3;8522:67;:::i;:::-;8515:74;;8598:93;8687:3;8598:93;:::i;:::-;8716:2;8711:3;8707:12;8700:19;;8359:366;;;:::o;8731:419::-;8897:4;8935:2;8924:9;8920:18;8912:26;;8984:9;8978:4;8974:20;8970:1;8959:9;8955:17;8948:47;9012:131;9138:4;9012:131;:::i;:::-;9004:139;;8731:419;;;:::o;9156:180::-;9204:77;9201:1;9194:88;9301:4;9298:1;9291:15;9325:4;9322:1;9315:15;9342:191;9382:3;9401:20;9419:1;9401:20;:::i;:::-;9396:25;;9435:20;9453:1;9435:20;:::i;:::-;9430:25;;9478:1;9475;9471:9;9464:16;;9499:3;9496:1;9493:10;9490:36;;;9506:18;;:::i;:::-;9490:36;9342:191;;;;:::o

ipfs://770105d6a9fda50fcbb36817b3cd241bae53184960842ce07a747d9636933d44