Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

•  contract ADO00045 *
•    - function transfer(address recipient, ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function allowance(address owner, add ...
•    - function getDecimals()
•    - function fetDecimals()
•    - function zetDecimals()
•    - function divided()
•    - function aivided()
•    - function sivided()
•    - function vivided()
•    - function qwewqewqivided()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)

More Options

• Similar
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity 0.5.17;
/*⠀⠀⠀
▬▬▬.◙.▬▬▬
═▂▄▄▓▄▄▂
◢◤ █▀▀████▄▄▄◢◤
█▄ █ █▄ ███▀▀▀▀▀▀╬
◥█████◤
══╩══╩═
╬═╬
╬═╬
╬═╬    Just dropped down to say
╬═╬    
╬═╬   
╬═╬☻/
╬═╬/▌
╬═╬/  \
.
*/
contract ADO00045  {
    using SafeMath for uint256;

    // State variables
    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 private _totalSupply;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;

    // Events as per ERC20 standard
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    constructor(
        string memory tokenName,
        string memory tokenSymbol,
        uint8 decimalUnits,
        uint256 initialSupply
    ) public {
        name = tokenName;
        symbol = tokenSymbol;
        decimals = decimalUnits;
        _totalSupply = initialSupply * (10 ** uint256(decimals));
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    // Core ERC20 transfer functions
    function transfer(address recipient, uint256 amount) public returns (bool) {
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[msg.sender] = _balances[msg.sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);

        emit Transfer(msg.sender, recipient, amount);
        return true;
    }

    function approve(address spender, uint256 amount) public returns (bool) {
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);

        _allowances[sender][msg.sender] = _allowances[sender][msg.sender].sub(amount);

        emit Transfer(sender, recipient, amount);
        return true;
    }
    // Public functions
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    function getDecimals() public view returns (uint256) {
        return decimals;
    }

    function fetDecimals() public view returns (uint256) {
        return decimals;
    }
    function zetDecimals() public view returns (uint256) {
        return decimals;
    }

    function divided() public view returns (uint256) {
        return _totalSupply / decimals;
    }
    
    function aivided() public view returns (uint256) {
        return _totalSupply / decimals;
    }
    function sivided() public view returns (uint256) {
        return _totalSupply / decimals;
    }
    function vivided() public view returns (uint256) {
        return _totalSupply / decimals;
    }
    function qwewqewqivided() public view returns (uint256) {
        return _totalSupply / decimals;
    }

}

// SafeMath library for arithmetic operations
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"tokenName","type":"string"},{"internalType":"string","name":"tokenSymbol","type":"string"},{"internalType":"uint8","name":"decimalUnits","type":"uint8"},{"internalType":"uint256","name":"initialSupply","type":"uint256"}],"payable":false,"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"},{"constant":true,"inputs":[],"name":"aivided","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"divided","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"fetDecimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getDecimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"qwewqewqivided","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"sivided","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"vivided","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"zetDecimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"}]

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c80635be35fc6116100a2578063ca6cad9711610071578063ca6cad971461047a578063dd62ed3e14610498578063e186d30014610510578063e26b70471461052e578063f0141d841461054c5761010b565b80635be35fc61461031b57806370a082311461033957806395d89b4114610391578063a9059cbb146104145761010b565b806323b872dd116100de57806323b872dd14610235578063313ce567146102bb57806334390d45146102df5780635401c3ac146102fd5761010b565b806306fdde0314610110578063095ea7b31461019357806317d78504146101f957806318160ddd14610217575b600080fd5b61011861056a565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015857808201518184015260208101905061013d565b50505050905090810190601f1680156101855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101df600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610608565b604051808215151515815260200191505060405180910390f35b61020161077f565b6040518082815260200191505060405180910390f35b61021f6107a4565b6040518082815260200191505060405180910390f35b6102a16004803603606081101561024b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107ae565b604051808215151515815260200191505060405180910390f35b6102c3610b64565b604051808260ff1660ff16815260200191505060405180910390f35b6102e7610b77565b6040518082815260200191505060405180910390f35b610305610b9c565b6040518082815260200191505060405180910390f35b610323610bb6565b6040518082815260200191505060405180910390f35b61037b6004803603602081101561034f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bdb565b6040518082815260200191505060405180910390f35b610399610c24565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103d95780820151818401526020810190506103be565b50505050905090810190601f1680156104065780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104606004803603604081101561042a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cc2565b604051808215151515815260200191505060405180910390f35b610482610ee2565b6040518082815260200191505060405180910390f35b6104fa600480360360408110156104ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f07565b6040518082815260200191505060405180910390f35b610518610f8e565b6040518082815260200191505060405180910390f35b610536610fa8565b6040518082815260200191505060405180910390f35b610554610fcd565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106005780601f106105d557610100808354040283529160200191610600565b820191906000526020600020905b8154815290600101906020018083116105e357829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561068f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061111c6022913960400191505060405180910390fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600260009054906101000a900460ff1660ff166003548161079e57fe5b04905090565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415610835576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061113e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806110f96023913960400191505060405180910390fd5b61090d82600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fe790919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506109a282600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461107090919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a7482600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fe790919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b6000600260009054906101000a900460ff1660ff1660035481610b9657fe5b04905090565b6000600260009054906101000a900460ff1660ff16905090565b6000600260009054906101000a900460ff1660ff1660035481610bd557fe5b04905090565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610cba5780601f10610c8f57610100808354040283529160200191610cba565b820191906000526020600020905b815481529060010190602001808311610c9d57829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610d49576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806110f96023913960400191505060405180910390fd5b610d9b82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610fe790919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e3082600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461107090919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600260009054906101000a900460ff1660ff1660035481610f0157fe5b04905090565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600260009054906101000a900460ff1660ff16905090565b6000600260009054906101000a900460ff1660ff1660035481610fc757fe5b04905090565b6000600260009054906101000a900460ff1660ff16905090565b60008282111561105f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b6000808284019050838110156110ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f2061646472657373a265627a7a72315820921211f066944abcd0c0089e688be17655c658d34cc50a3f6a303dbaa8f49b1c64736f6c63430005110032

407:3463:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;407:3463:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;492:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;492:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1808:290;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1808:290:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3552:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2696:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2106:559;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2106:559:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;544:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3338:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3243:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3448:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2795:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2795:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;517:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;517:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1420:380;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1420:380:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3656:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2913:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2913:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3150:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3760:105;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3055:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;492:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1808:290::-;1874:4;1918:1;1899:21;;:7;:21;;;;1891:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2007:6;1972:11;:23;1984:10;1972:23;;;;;;;;;;;;;;;:32;1996:7;1972:32;;;;;;;;;;;;;;;:41;;;;2050:7;2029:37;;2038:10;2029:37;;;2059:6;2029:37;;;;;;;;;;;;;;;;;;2086:4;2079:11;;1808:290;;;;:::o;3552:98::-;3592:7;3634:8;;;;;;;;;;;3619:23;;:12;;:23;;;;;;3612:30;;3552:98;:::o;2696:91::-;2740:7;2767:12;;2760:19;;2696:91;:::o;2106:559::-;2195:4;2238:1;2220:20;;:6;:20;;;;2212:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2322:1;2301:23;;:9;:23;;;;2293:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2397:29;2419:6;2397:9;:17;2407:6;2397:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;2377:9;:17;2387:6;2377:17;;;;;;;;;;;;;;;:49;;;;2460:32;2485:6;2460:9;:20;2470:9;2460:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2437:9;:20;2447:9;2437:20;;;;;;;;;;;;;;;:55;;;;2539:43;2575:6;2539:11;:19;2551:6;2539:19;;;;;;;;;;;;;;;:31;2559:10;2539:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;2505:11;:19;2517:6;2505:19;;;;;;;;;;;;;;;:31;2525:10;2505:31;;;;;;;;;;;;;;;:77;;;;2617:9;2600:35;;2609:6;2600:35;;;2628:6;2600:35;;;;;;;;;;;;;;;;;;2653:4;2646:11;;2106:559;;;;;:::o;544:21::-;;;;;;;;;;;;;:::o;3338:98::-;3378:7;3420:8;;;;;;;;;;;3405:23;;:12;;:23;;;;;;3398:30;;3338:98;:::o;3243:87::-;3287:7;3314:8;;;;;;;;;;;3307:15;;;;3243:87;:::o;3448:98::-;3488:7;3530:8;;;;;;;;;;;3515:23;;:12;;:23;;;;;;3508:30;;3448:98;:::o;2795:110::-;2852:7;2879:9;:18;2889:7;2879:18;;;;;;;;;;;;;;;;2872:25;;2795:110;;;:::o;517:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1420:380::-;1489:4;1535:1;1514:23;;:9;:23;;;;1506:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1614:33;1640:6;1614:9;:21;1624:10;1614:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;1590:9;:21;1600:10;1590:21;;;;;;;;;;;;;;;:57;;;;1681:32;1706:6;1681:9;:20;1691:9;1681:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;1658:9;:20;1668:9;1658:20;;;;;;;;;;;;;;;:55;;;;1752:9;1731:39;;1740:10;1731:39;;;1763:6;1731:39;;;;;;;;;;;;;;;;;;1788:4;1781:11;;1420:380;;;;:::o;3656:98::-;3696:7;3738:8;;;;;;;;;;;3723:23;;:12;;:23;;;;;;3716:30;;3656:98;:::o;2913:134::-;2985:7;3012:11;:18;3024:5;3012:18;;;;;;;;;;;;;;;:27;3031:7;3012:27;;;;;;;;;;;;;;;;3005:34;;2913:134;;;;:::o;3150:87::-;3194:7;3221:8;;;;;;;;;;;3214:15;;;;3150:87;:::o;3760:105::-;3807:7;3849:8;;;;;;;;;;;3834:23;;:12;;:23;;;;;;3827:30;;3760:105;:::o;3055:87::-;3099:7;3126:8;;;;;;;;;;;3119:15;;;;3055:87;:::o;4134:184::-;4192:7;4225:1;4220;:6;;4212:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4272:9;4288:1;4284;:5;4272:17;;4309:1;4302:8;;;4134:184;;;;:::o;3945:181::-;4003:7;4023:9;4039:1;4035;:5;4023:17;;4064:1;4059;:6;;4051:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4117:1;4110:8;;;3945:181;;;;:::o

bzzr://921211f066944abcd0c0089e688be17655c658d34cc50a3f6a303dbaa8f49b1c