Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract DSMath    - function add(uint x, uint y)    - function sub(uint x, uint y)    - function mul(uint x, uint y)  contract y3dToken is DSMath *    - function approve(address guy)    - function approve(address guy, uint wa ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...    - function burn(uint wad)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-22
*/

pragma solidity ^0.5.0;

/*
 ___    ___ ________  ________     
 |\  \  /  /|\_____  \|\   ___ \    
 \ \  \/  / \|____|\ /\ \  \_|\ \   
  \ \    / /      \|\  \ \  \ \\ \  
   \/  /  /      __\_\  \ \  \_\\ \ 
 __/  / /       |\_______\ \_______\
|\___/ /        \|_______|\|_______|
\|___|/                             
                                    */


contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "ds-math-mul-overflow");
    }
}

// token.sol -- ERC20 implementation with burning

// Copyright (C) 2015, 2016, 2017  DappHub, LLC

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

contract y3dToken is DSMath {
    uint256                                           public  totalSupply;
    mapping (address => uint256)                      public  balanceOf;
    mapping (address => mapping (address => uint256)) public  allowance;
    bytes32                                           public  symbol = "y3d";
    uint256                                           public  decimals = 18;
    bytes32                                           public  name = "y3d";

    constructor(address chef) public {
        // hard limit 21,000 y3d
        totalSupply = 21000000000000000000000;
        balanceOf[chef] = 21000000000000000000000;
    }

    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
    event Burn(uint wad);

    function approve(address guy) external returns (bool) {
        return approve(guy, uint(-1));
    }

    function approve(address guy, uint wad) public returns (bool) {
        allowance[msg.sender][guy] = wad;
        emit Approval(msg.sender, guy, wad);
        return true;
    }

    function transfer(address dst, uint wad) external returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad) public returns (bool) {
        if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {
            require(allowance[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            allowance[src][msg.sender] = sub(allowance[src][msg.sender], wad);
        }

        require(balanceOf[src] >= wad, "ds-token-insufficient-balance");
        balanceOf[src] = sub(balanceOf[src], wad);
        balanceOf[dst] = add(balanceOf[dst], wad);

        emit Transfer(src, dst, wad);
        return true;
    }

    function burn(uint wad) public {
        require(balanceOf[msg.sender] >= wad, "ds-token-insufficient-balance");
        totalSupply = sub(totalSupply, wad);
        balanceOf[msg.sender] = sub(balanceOf[msg.sender], wad);
        emit Burn(wad);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"chef","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"guy","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"guy","type":"address"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"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":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040527f793364000000000000000000000000000000000000000000000000000000000060035560126004557f793364000000000000000000000000000000000000000000000000000000000060055534801561005d57600080fd5b50604051610e3e380380610e3e8339818101604052602081101561008057600080fd5b8101908080519060200190929190505050690472698b413b43200000600081905550690472698b413b43200000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050610d3e806101006000396000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c68146101f457806370a082311461022257806395d89b411461027a578063a9059cbb14610298578063daea85c5146102fe578063dd62ed3e1461035a576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd1461013257806323b872dd14610150578063313ce567146101d6575b600080fd5b6100b66103d2565b6040518082815260200191505060405180910390f35b610118600480360360408110156100e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506103d8565b604051808215151515815260200191505060405180910390f35b61013a6104ca565b6040518082815260200191505060405180910390f35b6101bc6004803603606081101561016657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104d0565b604051808215151515815260200191505060405180910390f35b6101de6109e5565b6040518082815260200191505060405180910390f35b6102206004803603602081101561020a57600080fd5b81019080803590602001909291905050506109eb565b005b6102646004803603602081101561023857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b78565b6040518082815260200191505060405180910390f35b610282610b90565b6040518082815260200191505060405180910390f35b6102e4600480360360408110156102ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b96565b604051808215151515815260200191505060405180910390f35b6103406004803603602081101561031457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bab565b604051808215151515815260200191505060405180910390f35b6103bc6004803603604081101561037057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bde565b6040518082815260200191505060405180910390f35b60055481565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60005481565b60003373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156105aa57507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b156107a85781600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c000081525060200191505060405180910390fd5b610727600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c03565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561085d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b6108a6600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c03565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610932600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c86565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60045481565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610aa0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b610aac60005482610c03565b600081905550610afb600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482610c03565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb816040518082815260200191505060405180910390a150565b60016020528060005260406000206000915090505481565b60035481565b6000610ba33384846104d0565b905092915050565b6000610bd7827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6103d8565b9050919050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6000828284039150811115610c80576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015610d03576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea265627a7a72315820e7fa7df9603c703528df656a0a521b3d672f159cdf1354fe9004499697d3faf264736f6c634300051100320000000000000000000000006465f1250c9fe162602db83791fc3fb202d70a7b

0x608060405234801561001057600080fd5b50600436106100a95760003560e01c806342966c681161007157806342966c68146101f457806370a082311461022257806395d89b411461027a578063a9059cbb14610298578063daea85c5146102fe578063dd62ed3e1461035a576100a9565b806306fdde03146100ae578063095ea7b3146100cc57806318160ddd1461013257806323b872dd14610150578063313ce567146101d6575b600080fd5b6100b66103d2565b6040518082815260200191505060405180910390f35b610118600480360360408110156100e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506103d8565b604051808215151515815260200191505060405180910390f35b61013a6104ca565b6040518082815260200191505060405180910390f35b6101bc6004803603606081101561016657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104d0565b604051808215151515815260200191505060405180910390f35b6101de6109e5565b6040518082815260200191505060405180910390f35b6102206004803603602081101561020a57600080fd5b81019080803590602001909291905050506109eb565b005b6102646004803603602081101561023857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b78565b6040518082815260200191505060405180910390f35b610282610b90565b6040518082815260200191505060405180910390f35b6102e4600480360360408110156102ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b96565b604051808215151515815260200191505060405180910390f35b6103406004803603602081101561031457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bab565b604051808215151515815260200191505060405180910390f35b6103bc6004803603604081101561037057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610bde565b6040518082815260200191505060405180910390f35b60055481565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60005481565b60003373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156105aa57507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b156107a85781600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c000081525060200191505060405180910390fd5b610727600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c03565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561085d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b6108a6600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c03565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610932600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c86565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60045481565b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610aa0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b610aac60005482610c03565b600081905550610afb600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482610c03565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb816040518082815260200191505060405180910390a150565b60016020528060005260406000206000915090505481565b60035481565b6000610ba33384846104d0565b905092915050565b6000610bd7827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6103d8565b9050919050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6000828284039150811115610c80576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284019150811015610d03576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea265627a7a72315820e7fa7df9603c703528df656a0a521b3d672f159cdf1354fe9004499697d3faf264736f6c63430005110032

0000000000000000000000006465f1250c9fe162602db83791fc3fb202d70a7b

-----Decoded View---------------
Arg [0] : chef (address): 0x6465F1250c9fe162602Db83791Fc3Fb202D70a7B

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000006465f1250c9fe162602db83791fc3fb202d70a7b

1579:2142:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1579:2142:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1995:70;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2542:181;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2542:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1614:69;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2864:589;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2864:589:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1917:71;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3461:257;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3461:257:0;;;;;;;;;;;;;;;;;:::i;:::-;;1690:67;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1690:67:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1838:72;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2731:125;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2731:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2432:102;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2432:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1764:67;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1764:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1995:70;;;;:::o;2542:181::-;2598:4;2644:3;2615:9;:21;2625:10;2615:21;;;;;;;;;;;;;;;:26;2637:3;2615:26;;;;;;;;;;;;;;;:32;;;;2684:3;2663:30;;2672:10;2663:30;;;2689:3;2663:30;;;;;;;;;;;;;;;;;;2711:4;2704:11;;2542:181;;;;:::o;1614:69::-;;;;:::o;2864:589::-;2938:4;2966:10;2959:17;;:3;:17;;;;:59;;;;;3015:2;2980:9;:14;2990:3;2980:14;;;;;;;;;;;;;;;:26;2995:10;2980:26;;;;;;;;;;;;;;;;:38;;2959:59;2955:248;;;3073:3;3043:9;:14;3053:3;3043:14;;;;;;;;;;;;;;;:26;3058:10;3043:26;;;;;;;;;;;;;;;;:33;;3035:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3155:36;3159:9;:14;3169:3;3159:14;;;;;;;;;;;;;;;:26;3174:10;3159:26;;;;;;;;;;;;;;;;3187:3;3155;:36::i;:::-;3126:9;:14;3136:3;3126:14;;;;;;;;;;;;;;;:26;3141:10;3126:26;;;;;;;;;;;;;;;:65;;;;2955:248;3241:3;3223:9;:14;3233:3;3223:14;;;;;;;;;;;;;;;;:21;;3215:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3306:24;3310:9;:14;3320:3;3310:14;;;;;;;;;;;;;;;;3326:3;3306;:24::i;:::-;3289:9;:14;3299:3;3289:14;;;;;;;;;;;;;;;:41;;;;3358:24;3362:9;:14;3372:3;3362:14;;;;;;;;;;;;;;;;3378:3;3358;:24::i;:::-;3341:9;:14;3351:3;3341:14;;;;;;;;;;;;;;;:41;;;;3414:3;3400:23;;3409:3;3400:23;;;3419:3;3400:23;;;;;;;;;;;;;;;;;;3441:4;3434:11;;2864:589;;;;;:::o;1917:71::-;;;;:::o;3461:257::-;3536:3;3511:9;:21;3521:10;3511:21;;;;;;;;;;;;;;;;:28;;3503:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3598:21;3602:11;;3615:3;3598;:21::i;:::-;3584:11;:35;;;;3654:31;3658:9;:21;3668:10;3658:21;;;;;;;;;;;;;;;;3681:3;3654;:31::i;:::-;3630:9;:21;3640:10;3630:21;;;;;;;;;;;;;;;:55;;;;3701:9;3706:3;3701:9;;;;;;;;;;;;;;;;;;3461:257;:::o;1690:67::-;;;;;;;;;;;;;;;;;:::o;1838:72::-;;;;:::o;2731:125::-;2790:4;2814:34;2827:10;2839:3;2844;2814:12;:34::i;:::-;2807:41;;2731:125;;;;:::o;2432:102::-;2480:4;2504:22;2512:3;2522:2;2504:7;:22::i;:::-;2497:29;;2432:102;;;:::o;1764:67::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;535:129::-;587:6;629:1;623;619;:5;615:9;;;614:16;;606:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;535:129;;;;:::o;401:128::-;453:6;495:1;489;485;:5;481:9;;;480:16;;472:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;401:128;;;;:::o

bzzr://e7fa7df9603c703528df656a0a521b3d672f159cdf1354fe9004499697d3faf2