Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract TopCoinFXToken *
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function stop()
•    - function start()
•    - function setName(string _name)
•    - function setSymbol(string _symbol)
•    - function burn(uint256 _value)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-24
*/

/**
 *Submitted for verification at Etherscan.io on 2019-07-20
*/

pragma solidity ^0.4.22;

contract TopCoinFXToken {

    string public name = "TopCoinFX";
    string public symbol = "TCFX";
    uint256 public constant decimals = 18;
    address public adminWallet;

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

    uint256 public totalSupply = 0;
    bool public stopped = false;
    uint public constant supplyNumber = 1000000000;
    uint public constant powNumber = 10;
    uint public constant TOKEN_SUPPLY_TOTAL = supplyNumber * powNumber ** decimals;
    uint256 constant valueFounder = TOKEN_SUPPLY_TOTAL;
    address owner = 0x0;

    modifier isOwner {
        assert(owner == msg.sender);
        _;
    }

    modifier isRunning {
        assert(!stopped);
        _;
    }

    modifier validAddress {
        assert(0x0 != msg.sender);
        _;
    }

    constructor() public {
        owner = msg.sender;
        adminWallet = owner;
        totalSupply = valueFounder;
        balanceOf[owner] = valueFounder;
        emit Transfer(0x0, owner, valueFounder);
    }

    function transfer(address _to, uint256 _value) public isRunning validAddress returns (bool success) {
        require(balanceOf[msg.sender] >= _value);
        require(balanceOf[_to] + _value >= balanceOf[_to]);
        balanceOf[msg.sender] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public isRunning validAddress returns (bool success) {

        require(balanceOf[_from] >= _value);
        require(balanceOf[_to] + _value >= balanceOf[_to]);
        require(allowance[_from][msg.sender] >= _value);
        balanceOf[_to] += _value;
        balanceOf[_from] -= _value;
        allowance[_from][msg.sender] -= _value;
        emit Transfer(_from, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public isRunning validAddress returns (bool success) {
        require(_value == 0 || allowance[msg.sender][_spender] == 0);
        allowance[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    function stop() public isOwner {
        stopped = true;
    }

    function start() public isOwner {
        stopped = false;
    }

    function setName(string _name) public isOwner {
        name = _name;
    }

    function setSymbol(string _symbol) public isOwner {
        symbol = _symbol;
    }

    function burn(uint256 _value) public {
        require(balanceOf[msg.sender] >= _value);
        balanceOf[msg.sender] -= _value;
        balanceOf[0x0] += _value;
        emit Transfer(msg.sender, 0x0, _value);
    }

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"adminWallet","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"powNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"supplyNumber","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_symbol","type":"string"}],"name":"setSymbol","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"TOKEN_SUPPLY_TOTAL","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"}]

0x608060405260043610610107576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461010c57806307da68f51461019c578063095ea7b3146101b357806318160ddd1461021857806323b872dd14610243578063313ce567146102c857806336b19cd7146102f357806342966c681461034a5780635313461b1461037757806370a08231146103a257806375f12b21146103f957806395d89b4114610428578063a9059cbb146104b8578063b373e5531461051d578063b84c824614610548578063be9a6555146105b1578063c47f0027146105c8578063cef9db6d14610631578063dd62ed3e1461065c575b600080fd5b34801561011857600080fd5b506101216106d3565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610161578082015181840152602081019050610146565b50505050905090810190601f16801561018e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101a857600080fd5b506101b1610771565b005b3480156101bf57600080fd5b506101fe600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107e7565b604051808215151515815260200191505060405180910390f35b34801561022457600080fd5b5061022d6109ab565b6040518082815260200191505060405180910390f35b34801561024f57600080fd5b506102ae600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109b1565b604051808215151515815260200191505060405180910390f35b3480156102d457600080fd5b506102dd610ceb565b6040518082815260200191505060405180910390f35b3480156102ff57600080fd5b50610308610cf0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561035657600080fd5b5061037560048036038101908080359060200190929190505050610d16565b005b34801561038357600080fd5b5061038c610e3b565b6040518082815260200191505060405180910390f35b3480156103ae57600080fd5b506103e3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e40565b6040518082815260200191505060405180910390f35b34801561040557600080fd5b5061040e610e58565b604051808215151515815260200191505060405180910390f35b34801561043457600080fd5b5061043d610e6b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561047d578082015181840152602081019050610462565b50505050905090810190601f1680156104aa5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156104c457600080fd5b50610503600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f09565b604051808215151515815260200191505060405180910390f35b34801561052957600080fd5b5061053261112d565b6040518082815260200191505060405180910390f35b34801561055457600080fd5b506105af600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611135565b005b3480156105bd57600080fd5b506105c66111a8565b005b3480156105d457600080fd5b5061062f600480360381019080803590602001908201803590602001908080601f016020809104026020016040519081016040528093929190818152602001838380828437820191505050505050919291929050505061121e565b005b34801561063d57600080fd5b50610646611291565b6040518082815260200191505060405180910390f35b34801561066857600080fd5b506106bd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061129f565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107695780601f1061073e57610100808354040283529160200191610769565b820191906000526020600020905b81548152906001019060200180831161074c57829003601f168201915b505050505081565b3373ffffffffffffffffffffffffffffffffffffffff16600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156107ca57fe5b6001600660006101000a81548160ff021916908315150217905550565b6000600660009054906101000a900460ff1615151561080257fe5b3373ffffffffffffffffffffffffffffffffffffffff1660001415151561082557fe5b60008214806108b057506000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b15156108bb57600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60055481565b6000600660009054906101000a900460ff161515156109cc57fe5b3373ffffffffffffffffffffffffffffffffffffffff166000141515156109ef57fe5b81600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610a3d57600080fd5b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110151515610acc57600080fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610b5757600080fd5b81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b80600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610d6457600080fd5b80600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555080600360008073ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555060003373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350565b600a81565b60036020528060005260406000206000915090505481565b600660009054906101000a900460ff1681565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f015780601f10610ed657610100808354040283529160200191610f01565b820191906000526020600020905b815481529060010190602001808311610ee457829003601f168201915b505050505081565b6000600660009054906101000a900460ff16151515610f2457fe5b3373ffffffffffffffffffffffffffffffffffffffff16600014151515610f4757fe5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610f9557600080fd5b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015151561102457600080fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b633b9aca0081565b3373ffffffffffffffffffffffffffffffffffffffff16600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561118e57fe5b80600190805190602001906111a49291906112c4565b5050565b3373ffffffffffffffffffffffffffffffffffffffff16600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561120157fe5b6000600660006101000a81548160ff021916908315150217905550565b3373ffffffffffffffffffffffffffffffffffffffff16600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561127757fe5b806000908051906020019061128d9291906112c4565b5050565b6012600a0a633b9aca000281565b6004602052816000526040600020602052806000526040600020600091509150505481565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061130557805160ff1916838001178555611333565b82800160010185558215611333579182015b82811115611332578251825591602001919060010190611317565b5b5090506113409190611344565b5090565b61136691905b8082111561136257600081600090555060010161134a565b5090565b905600a165627a7a723058200ad7f1cb1ee81f1a2b55acb9cdb861d998c57a001f1a0c556f2b343d27b4c7d10029

99:3017:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;132:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;132:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;132:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2397:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2397:64:0;;;;;;2079:310;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2079:310:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;410:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;410:30:0;;;;;;;;;;;;;;;;;;;;;;;1590:481;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1590:481:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;207:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;207:37:0;;;;;;;;;;;;;;;;;;;;;;;251:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;251:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2721:222;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2721:222:0;;;;;;;;;;;;;;;;;;;;;;;;;;534:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;534:35:0;;;;;;;;;;;;;;;;;;;;;;;286:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;286:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;447:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;447:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;171:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;171:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;171:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1214:368;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1214:368:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;481:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;481:46:0;;;;;;;;;;;;;;;;;;;;;;;2628:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2628:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2469:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2469:66:0;;;;;;2543:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2543:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;576:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;576:78:0;;;;;;;;;;;;;;;;;;;;;;;337:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;337:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;132:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2397:64::-;790:10;781:19;;:5;;;;;;;;;;;:19;;;774:27;;;;;;2449:4;2439:7;;:14;;;;;;;;;;;;;;;;;;2397:64::o;2079:310::-;2169:12;867:7;;;;;;;;;;;866:8;859:16;;;;;;950:10;943:17;;:3;:17;;936:25;;;;;;2212:1;2202:6;:11;:51;;;;2252:1;2217:9;:21;2227:10;2217:21;;;;;;;;;;;;;;;:31;2239:8;2217:31;;;;;;;;;;;;;;;;:36;2202:51;2194:60;;;;;;;;2299:6;2265:9;:21;2275:10;2265:21;;;;;;;;;;;;;;;:31;2287:8;2265:31;;;;;;;;;;;;;;;:40;;;;2342:8;2321:38;;2330:10;2321:38;;;2352:6;2321:38;;;;;;;;;;;;;;;;;;2377:4;2370:11;;2079:310;;;;:::o;410:30::-;;;;:::o;1590:481::-;1695:12;867:7;;;;;;;;;;;866:8;859:16;;;;;;950:10;943:17;;:3;:17;;936:25;;;;;;1750:6;1730:9;:16;1740:5;1730:16;;;;;;;;;;;;;;;;:26;;1722:35;;;;;;;;1803:9;:14;1813:3;1803:14;;;;;;;;;;;;;;;;1793:6;1776:9;:14;1786:3;1776:14;;;;;;;;;;;;;;;;:23;:41;;1768:50;;;;;;;;1869:6;1837:9;:16;1847:5;1837:16;;;;;;;;;;;;;;;:28;1854:10;1837:28;;;;;;;;;;;;;;;;:38;;1829:47;;;;;;;;1905:6;1887:9;:14;1897:3;1887:14;;;;;;;;;;;;;;;;:24;;;;;;;;;;;1942:6;1922:9;:16;1932:5;1922:16;;;;;;;;;;;;;;;;:26;;;;;;;;;;;1991:6;1959:9;:16;1969:5;1959:16;;;;;;;;;;;;;;;:28;1976:10;1959:28;;;;;;;;;;;;;;;;:38;;;;;;;;;;;2029:3;2013:28;;2022:5;2013:28;;;2034:6;2013:28;;;;;;;;;;;;;;;;;;2059:4;2052:11;;1590:481;;;;;:::o;207:37::-;242:2;207:37;:::o;251:26::-;;;;;;;;;;;;;:::o;2721:222::-;2802:6;2777:9;:21;2787:10;2777:21;;;;;;;;;;;;;;;;:31;;2769:40;;;;;;;;2845:6;2820:9;:21;2830:10;2820:21;;;;;;;;;;;;;;;;:31;;;;;;;;;;;2880:6;2862:9;:14;2872:3;2862:14;;;;;;;;;;;;;;:24;;;;;;;;;;;2923:3;2911:10;2902:33;;;2928:6;2902:33;;;;;;;;;;;;;;;;;;2721:222;:::o;534:35::-;567:2;534:35;:::o;286:44::-;;;;;;;;;;;;;;;;;:::o;447:27::-;;;;;;;;;;;;;:::o;171:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1214:368::-;1300:12;867:7;;;;;;;;;;;866:8;859:16;;;;;;950:10;943:17;;:3;:17;;936:25;;;;;;1358:6;1333:9;:21;1343:10;1333:21;;;;;;;;;;;;;;;;:31;;1325:40;;;;;;;;1411:9;:14;1421:3;1411:14;;;;;;;;;;;;;;;;1401:6;1384:9;:14;1394:3;1384:14;;;;;;;;;;;;;;;;:23;:41;;1376:50;;;;;;;;1462:6;1437:9;:21;1447:10;1437:21;;;;;;;;;;;;;;;;:31;;;;;;;;;;;1497:6;1479:9;:14;1489:3;1479:14;;;;;;;;;;;;;;;;:24;;;;;;;;;;;1540:3;1519:33;;1528:10;1519:33;;;1545:6;1519:33;;;;;;;;;;;;;;;;;;1570:4;1563:11;;1214:368;;;;:::o;481:46::-;517:10;481:46;:::o;2628:85::-;790:10;781:19;;:5;;;;;;;;;;;:19;;;774:27;;;;;;2698:7;2689:6;:16;;;;;;;;;;;;:::i;:::-;;2628:85;:::o;2469:66::-;790:10;781:19;;:5;;;;;;;;;;;:19;;;774:27;;;;;;2522:5;2512:7;;:15;;;;;;;;;;;;;;;;;;2469:66::o;2543:77::-;790:10;781:19;;:5;;;;;;;;;;;:19;;;774:27;;;;;;2607:5;2600:4;:12;;;;;;;;;;;;:::i;:::-;;2543:77;:::o;576:78::-;242:2;567;633:21;517:10;618:36;576:78;:::o;337:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;99:3017::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://0ad7f1cb1ee81f1a2b55acb9cdb861d998c57a001f1a0c556f2b343d27b4c7d1