Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint to ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract SafeMath    - function safeAdd(uint a, uint b)    - function safeSub(uint a, uint b)    - function safeMul(uint a, uint b)    - function safeDiv(uint a, uint b)  contract AME is ERC20Interface, Sa ... *    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function approve(address spender, uin ...    - function transfer(address to, uint to ...    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-06-04
*/

pragma solidity ^0.5.0;

//--------------------------------------
//  AME Token contract
//
// Symbol      : AME
// Name        : AME Token
// Total supply: 1500000000
// Decimals    : 18
//--------------------------------------

contract ERC20Interface {
    function totalSupply() public view returns (uint256);
    function balanceOf(address tokenOwner) public view returns (uint getBalance);
    function allowance(address tokenOwner, address spender) public view returns (uint remaining);
    function transfer(address to, uint tokens) public returns (bool success);
    function approve(address spender, uint tokens) public returns (bool success);
    function transferFrom(address from, address to, uint tokens) public returns (bool success);
    
    event Transfer(address indexed from, address indexed to, uint tokens);
    event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
    }

// ----------------------------------------------------------------------------
// Safe Math Library 
// ----------------------------------------------------------------------------
contract SafeMath {
    function safeAdd(uint a, uint b) public pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }

    function safeSub(uint a, uint b) public pure returns (uint c) {
        require(b <= a); 
        c = a - b; 
    }

    function safeMul(uint a, uint b) public pure returns (uint c){
    c = a * b; require(a == 0 || c / a == b);
    }

    function safeDiv(uint a, uint b) public pure returns (uint c) {
        require(b > 0);
        c = a / b;
    }
}

contract AME is ERC20Interface, SafeMath{
    bytes32 public name;
    bytes32 public symbol;
    uint8 public decimals;
    uint256 private initialSupply;
    uint256 public _totalSupply;
    address private owner;
   
    mapping(address => uint) balances;
    mapping(address => mapping(address => uint)) allowed;

    constructor() public {
        name = "AME Token";
        symbol = "AME";
        decimals = 18;
        _totalSupply = 1500000000 * 10 ** uint256(decimals);
	    initialSupply = _totalSupply;
       	balances[msg.sender] = _totalSupply;
        owner = msg.sender;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }
 
    function totalSupply() public view returns (uint) {
        return safeSub(_totalSupply, balances[address(0)]);
    }

    function balanceOf(address tokenOwner) public view returns (uint getBalance) {
        return balances[tokenOwner];
    }
 
    function allowance(address tokenOwner, address spender) public view returns (uint remaining) {
        return allowed[tokenOwner][spender];
    }
 
    function approve(address spender, uint tokens) public returns (bool success) {
        allowed[msg.sender][spender] = tokens;
        emit Approval(msg.sender, spender, tokens);
        return true;
    }
    
    function transfer(address to, uint tokens) public returns (bool success) {
        require(to != address(0));
        balances[msg.sender] = safeSub(balances[msg.sender], tokens);
        balances[to] = safeAdd(balances[to], tokens);
        emit Transfer(msg.sender, to, tokens);
        return true;
    }
    
   function transferFrom(address from, address to, uint tokens) public returns (bool success) {
        require(to != address(0));
        balances[from] = safeSub(balances[from], tokens);
        allowed[from][msg.sender] = safeSub(allowed[from][msg.sender], tokens);
        balances[to] = safeAdd(balances[to], tokens);
        emit Transfer(from, to, tokens);
        return true;
   }
   
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenOwner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokens","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":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"getBalance","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":"name","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","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":"to","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b507f414d4520546f6b656e00000000000000000000000000000000000000000000006000819055507f414d4500000000000000000000000000000000000000000000000000000000006001819055506012600260006101000a81548160ff021916908360ff160217905550600260009054906101000a900460ff1660ff16600a0a6359682f0002600481905550600454600381905550600454600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a3610c57806101a46000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806395d89b411161008c578063b5931f7c11610066578063b5931f7c14610381578063d05c78da146103cd578063dd62ed3e14610419578063e6cb901314610491576100ea565b806395d89b41146102b1578063a293d1e8146102cf578063a9059cbb1461031b576100ea565b806323b872dd116100c857806323b872dd14610191578063313ce567146102175780633eaaf86b1461023b57806370a0823114610259576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd14610173575b600080fd5b6100f76104dd565b6040518082815260200191505060405180910390f35b6101596004803603604081101561012357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104e3565b604051808215151515815260200191505060405180910390f35b61017b6105d5565b6040518082815260200191505060405180910390f35b6101fd600480360360608110156101a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610627565b604051808215151515815260200191505060405180910390f35b61021f6108f0565b604051808260ff1660ff16815260200191505060405180910390f35b610243610903565b6040518082815260200191505060405180910390f35b61029b6004803603602081101561026f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610909565b6040518082815260200191505060405180910390f35b6102b9610952565b6040518082815260200191505060405180910390f35b610305600480360360408110156102e557600080fd5b810190808035906020019092919080359060200190929190505050610958565b6040518082815260200191505060405180910390f35b6103676004803603604081101561033157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610972565b604051808215151515815260200191505060405180910390f35b6103b76004803603604081101561039757600080fd5b810190808035906020019092919080359060200190929190505050610b34565b6040518082815260200191505060405180910390f35b610403600480360360408110156103e357600080fd5b810190808035906020019092919080359060200190929190505050610b54565b6040518082815260200191505060405180910390f35b61047b6004803603604081101561042f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b81565b6040518082815260200191505060405180910390f35b6104c7600480360360408110156104a757600080fd5b810190808035906020019092919080359060200190929190505050610c08565b6040518082815260200191505060405180910390f35b60005481565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000610622600454600660008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610958565b905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561066257600080fd5b6106ab600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610774600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061083d600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c08565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60045481565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60015481565b60008282111561096757600080fd5b818303905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109ad57600080fd5b6109f6600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a82600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c08565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000808211610b4257600080fd5b818381610b4b57fe5b04905092915050565b600081830290506000831480610b72575081838281610b6f57fe5b04145b610b7b57600080fd5b92915050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000818301905082811015610c1c57600080fd5b9291505056fea265627a7a72315820e2b3d37257a8a3c62fadc0d97a7e34011e2efd0ee214c2f261715795dcb3212564736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c806395d89b411161008c578063b5931f7c11610066578063b5931f7c14610381578063d05c78da146103cd578063dd62ed3e14610419578063e6cb901314610491576100ea565b806395d89b41146102b1578063a293d1e8146102cf578063a9059cbb1461031b576100ea565b806323b872dd116100c857806323b872dd14610191578063313ce567146102175780633eaaf86b1461023b57806370a0823114610259576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd14610173575b600080fd5b6100f76104dd565b6040518082815260200191505060405180910390f35b6101596004803603604081101561012357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104e3565b604051808215151515815260200191505060405180910390f35b61017b6105d5565b6040518082815260200191505060405180910390f35b6101fd600480360360608110156101a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610627565b604051808215151515815260200191505060405180910390f35b61021f6108f0565b604051808260ff1660ff16815260200191505060405180910390f35b610243610903565b6040518082815260200191505060405180910390f35b61029b6004803603602081101561026f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610909565b6040518082815260200191505060405180910390f35b6102b9610952565b6040518082815260200191505060405180910390f35b610305600480360360408110156102e557600080fd5b810190808035906020019092919080359060200190929190505050610958565b6040518082815260200191505060405180910390f35b6103676004803603604081101561033157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610972565b604051808215151515815260200191505060405180910390f35b6103b76004803603604081101561039757600080fd5b810190808035906020019092919080359060200190929190505050610b34565b6040518082815260200191505060405180910390f35b610403600480360360408110156103e357600080fd5b810190808035906020019092919080359060200190929190505050610b54565b6040518082815260200191505060405180910390f35b61047b6004803603604081101561042f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b81565b6040518082815260200191505060405180910390f35b6104c7600480360360408110156104a757600080fd5b810190808035906020019092919080359060200190929190505050610c08565b6040518082815260200191505060405180910390f35b60005481565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000610622600454600660008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610958565b905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561066257600080fd5b6106ab600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610774600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061083d600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c08565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260009054906101000a900460ff1681565b60045481565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60015481565b60008282111561096757600080fd5b818303905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156109ad57600080fd5b6109f6600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610958565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a82600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610c08565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000808211610b4257600080fd5b818381610b4b57fe5b04905092915050565b600081830290506000831480610b72575081838281610b6f57fe5b04145b610b7b57600080fd5b92915050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000818301905082811015610c1c57600080fd5b9291505056fea265627a7a72315820e2b3d37257a8a3c62fadc0d97a7e34011e2efd0ee214c2f261715795dcb3212564736f6c63430005110032

1652:2044:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1652:2044:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1699:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2751:208;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2751:208:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2336:119;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3295:393;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3295:393:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1753:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1817:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2463:123;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2463:123:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1725:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1280:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1280:118:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2971:313;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2971:313:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1530:115;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1530:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1406:116;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1406:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2595:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2595:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1156:116;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1156:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1699:19;;;;:::o;2751:208::-;2814:12;2870:6;2839:7;:19;2847:10;2839:19;;;;;;;;;;;;;;;:28;2859:7;2839:28;;;;;;;;;;;;;;;:37;;;;2913:7;2892:37;;2901:10;2892:37;;;2922:6;2892:37;;;;;;;;;;;;;;;;;;2947:4;2940:11;;2751:208;;;;:::o;2336:119::-;2380:4;2404:43;2412:12;;2426:8;:20;2443:1;2426:20;;;;;;;;;;;;;;;;2404:7;:43::i;:::-;2397:50;;2336:119;:::o;3295:393::-;3372:12;3419:1;3405:16;;:2;:16;;;;3397:25;;;;;;3450:31;3458:8;:14;3467:4;3458:14;;;;;;;;;;;;;;;;3474:6;3450:7;:31::i;:::-;3433:8;:14;3442:4;3433:14;;;;;;;;;;;;;;;:48;;;;3520:42;3528:7;:13;3536:4;3528:13;;;;;;;;;;;;;;;:25;3542:10;3528:25;;;;;;;;;;;;;;;;3555:6;3520:7;:42::i;:::-;3492:7;:13;3500:4;3492:13;;;;;;;;;;;;;;;:25;3506:10;3492:25;;;;;;;;;;;;;;;:70;;;;3588:29;3596:8;:12;3605:2;3596:12;;;;;;;;;;;;;;;;3610:6;3588:7;:29::i;:::-;3573:8;:12;3582:2;3573:12;;;;;;;;;;;;;;;:44;;;;3648:2;3633:26;;3642:4;3633:26;;;3652:6;3633:26;;;;;;;;;;;;;;;;;;3677:4;3670:11;;3295:393;;;;;:::o;1753:21::-;;;;;;;;;;;;;:::o;1817:27::-;;;;:::o;2463:123::-;2523:15;2558:8;:20;2567:10;2558:20;;;;;;;;;;;;;;;;2551:27;;2463:123;;;:::o;1725:21::-;;;;:::o;1280:118::-;1334:6;1366:1;1361;:6;;1353:15;;;;;;1388:1;1384;:5;1380:9;;1280:118;;;;:::o;2971:313::-;3030:12;3077:1;3063:16;;:2;:16;;;;3055:25;;;;;;3114:37;3122:8;:20;3131:10;3122:20;;;;;;;;;;;;;;;;3144:6;3114:7;:37::i;:::-;3091:8;:20;3100:10;3091:20;;;;;;;;;;;;;;;:60;;;;3177:29;3185:8;:12;3194:2;3185:12;;;;;;;;;;;;;;;;3199:6;3177:7;:29::i;:::-;3162:8;:12;3171:2;3162:12;;;;;;;;;;;;;;;:44;;;;3243:2;3222:32;;3231:10;3222:32;;;3247:6;3222:32;;;;;;;;;;;;;;;;;;3272:4;3265:11;;2971:313;;;;:::o;1530:115::-;1584:6;1615:1;1611;:5;1603:14;;;;;;1636:1;1632;:5;;;;;;1628:9;;1530:115;;;;:::o;1406:116::-;1460:6;1482:1;1478;:5;1474:9;;1498:1;1493;:6;:20;;;;1512:1;1507;1503;:5;;;;;;:10;1493:20;1485:29;;;;;;1406:116;;;;:::o;2595:147::-;2672:14;2706:7;:19;2714:10;2706:19;;;;;;;;;;;;;;;:28;2726:7;2706:28;;;;;;;;;;;;;;;;2699:35;;2595:147;;;;:::o;1156:116::-;1210:6;1237:1;1233;:5;1229:9;;1262:1;1257;:6;;1249:15;;;;;;1156:116;;;;:::o

bzzr://e2b3d37257a8a3c62fadc0d97a7e34011e2efd0ee214c2f261715795dcb32125