Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract DistributedEnergyCoinBase *    - function totalSupply()    - function balanceOf(address src)    - function transfer(address dst, uint25 ...    - function add(uint256 x, uint256 y)    - function sub(uint256 x, uint256 y)  contract DistributedEnergyCoin is ... *    - function transfer(address dst, uint25 ...    - function distribute(address dst, uint ...    - function unfreeze(uint256 i)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-06-21
*/

pragma solidity 0.5.9;

contract DistributedEnergyCoinBase {
    uint256                                            _supply;
    mapping (address => uint256)                       _balances;
    
    event Transfer( address indexed from, address indexed to, uint256 value);
    
    function totalSupply() public view returns (uint256) {
        return _supply;
    }
    function balanceOf(address src) public view returns (uint256) {
        return _balances[src];
    }
    
    function transfer(address dst, uint256 wad) public returns (bool) {
        require(_balances[msg.sender] >= wad);
        
        _balances[msg.sender] = sub(_balances[msg.sender], wad);
        _balances[dst] = add(_balances[dst], wad);
        
        emit Transfer(msg.sender, dst, wad);
        
        return true;
    }
    
    function add(uint256 x, uint256 y) internal pure returns (uint256) {
        uint256 z = x + y;
        require(z >= x && z>=y);
        return z;
    }

    function sub(uint256 x, uint256 y) internal pure returns (uint256) {
        uint256 z = x - y;
        require(x >= y && z <= x);
        return z;
    }
}

contract DistributedEnergyCoin is DistributedEnergyCoinBase {

    string  public  symbol = "DEC";
    string  public name = "Distributed Energy Coin";
    uint256  public  decimals = 8; 
    uint256 public freezedValue = 38280000*(10**8);
    address public owner;
    address public freezeOwner = address(0x01);

    struct FreezeStruct {
        uint256 unfreezeTime;   //时间
        uint256 unfreezeValue;  //锁仓
        bool freezed;
    }

    FreezeStruct[] public unfreezeTimeMap;
    
    constructor() public{
        _supply = 319000000*(10**8);
        _balances[freezeOwner] = freezedValue;
        _balances[msg.sender] = sub(_supply,freezedValue);
        owner = msg.sender;

        unfreezeTimeMap.push(FreezeStruct({unfreezeTime:1586995200, unfreezeValue:9570000*(10**8), freezed: true})); // 2020-04-16
        unfreezeTimeMap.push(FreezeStruct({unfreezeTime:1618531200, unfreezeValue:14355000*(10**8), freezed: true})); // 2021-04-16
        unfreezeTimeMap.push(FreezeStruct({unfreezeTime:1650067200, unfreezeValue:14355000*(10**8), freezed: true})); // 2022-04-16
    }

    function transfer(address dst, uint256 wad) public returns (bool) {
        return super.transfer(dst, wad);
    }

    function distribute(address dst, uint256 wad) public returns (bool) {
        require(msg.sender == owner);

        return super.transfer(dst, wad);
    }

    function unfreeze(uint256 i) public {
        require(msg.sender == owner);
        require(i>=0 && i<unfreezeTimeMap.length);
        require(now >= unfreezeTimeMap[i].unfreezeTime && unfreezeTimeMap[i].freezed);
        require(_balances[freezeOwner] >= unfreezeTimeMap[i].unfreezeValue);

        _balances[freezeOwner] = sub(_balances[freezeOwner], unfreezeTimeMap[i].unfreezeValue);
        _balances[owner] = add(_balances[owner], unfreezeTimeMap[i].unfreezeValue);

        freezedValue = sub(freezedValue, unfreezeTimeMap[i].unfreezeValue);
        unfreezeTimeMap[i].freezed = false;

        emit Transfer(freezeOwner, owner, unfreezeTimeMap[i].unfreezeValue);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"unfreezeTimeMap","outputs":[{"name":"unfreezeTime","type":"uint256"},{"name":"unfreezeValue","type":"uint256"},{"name":"freezed","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"freezedValue","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"i","type":"uint256"}],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"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":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"freezeOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"distribute","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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"}]

60806040526040518060400160405280600381526020017f44454300000000000000000000000000000000000000000000000000000000008152506002908051906020019062000051929190620003ea565b506040518060400160405280601781526020017f446973747269627574656420456e6572677920436f696e000000000000000000815250600390805190602001906200009f929190620003ea565b506008600455660d998bb43340006005556001600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620000ff57600080fd5b50667154e18855c00060008190555060055460016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200018c600054600554620003bd60201b60201c565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060086040518060600160405280635e97a000815260200166036662ed0cd00081526020016001151581525090806001815401808255809150509060018203906000526020600020906003020160009091929091909150600082015181600001556020820151816001015560408201518160020160006101000a81548160ff02191690831515021790555050505060086040518060600160405280636078d3808152602001660519946393380081526020016001151581525090806001815401808255809150509060018203906000526020600020906003020160009091929091909150600082015181600001556020820151816001015560408201518160020160006101000a81548160ff0219169083151502179055505050506008604051806060016040528063625a07008152602001660519946393380081526020016001151581525090806001815401808255809150509060018203906000526020600020906003020160009091929091909150600082015181600001556020820151816001015560408201518160020160006101000a81548160ff02191690831515021790555050505062000499565b6000808284039050828410158015620003d65750838111155b620003e057600080fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200042d57805160ff19168380011785556200045e565b828001600101855582156200045e579182015b828111156200045d57825182559160200191906001019062000440565b5b5090506200046d919062000471565b5090565b6200049691905b808211156200049257600081600090555060010162000478565b5090565b90565b610dcf80620004a96000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146102185780638da5cb5b1461027057806395d89b41146102ba578063a9059cbb1461033d578063ddd08f67146103a3578063fb932108146103ed576100b4565b806306fdde03146100b957806318160ddd1461013c578063313ce5671461015a5780634e6a6ffc146101785780635f5868db146101cc5780636623fc46146101ea575b600080fd5b6100c1610453565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101015780820151818401526020810190506100e6565b50505050905090810190601f16801561012e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101446104f1565b6040518082815260200191505060405180910390f35b6101626104fa565b6040518082815260200191505060405180910390f35b6101a46004803603602081101561018e57600080fd5b8101908080359060200190929190505050610500565b6040518084815260200183815260200182151515158152602001935050505060405180910390f35b6101d4610544565b6040518082815260200191505060405180910390f35b6102166004803603602081101561020057600080fd5b810190808035906020019092919050505061054a565b005b61025a6004803603602081101561022e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109ba565b6040518082815260200191505060405180910390f35b610278610a03565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102c2610a29565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103025780820151818401526020810190506102e7565b50505050905090810190601f16801561032f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103896004803603604081101561035357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ac7565b604051808215151515815260200191505060405180910390f35b6103ab610adb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104396004803603604081101561040357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b01565b604051808215151515815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104e95780601f106104be576101008083540402835291602001916104e9565b820191906000526020600020905b8154815290600101906020018083116104cc57829003601f168201915b505050505081565b60008054905090565b60045481565b6008818154811061050d57fe5b90600052602060002090600302016000915090508060000154908060010154908060020160009054906101000a900460ff16905083565b60055481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105a457600080fd5b600081101580156105b9575060088054905081105b6105c257600080fd5b600881815481106105cf57fe5b90600052602060002090600302016000015442101580156106185750600881815481106105f857fe5b906000526020600020906003020160020160009054906101000a900460ff165b61062157600080fd5b6008818154811061062e57fe5b90600052602060002090600302016001015460016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106ad57600080fd5b61073660016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546008838154811061071f57fe5b906000526020600020906003020160010154610b6f565b60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061082460016000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546008838154811061080d57fe5b906000526020600020906003020160010154610b9a565b60016000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108b36005546008838154811061089c57fe5b906000526020600020906003020160010154610b6f565b6005819055506000600882815481106108c857fe5b906000526020600020906003020160020160006101000a81548160ff021916908315150217905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6008848154811061099057fe5b9060005260206000209060030201600101546040518082815260200191505060405180910390a350565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610abf5780601f10610a9457610100808354040283529160200191610abf565b820191906000526020600020905b815481529060010190602001808311610aa257829003601f168201915b505050505081565b6000610ad38383610bc5565b905092915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b5d57600080fd5b610b678383610bc5565b905092915050565b6000808284039050828410158015610b875750838111155b610b9057600080fd5b8091505092915050565b6000808284019050838110158015610bb25750828110155b610bbb57600080fd5b8091505092915050565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610c1357600080fd5b610c5c600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b6f565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce8600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b9a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509291505056fea265627a7a723058201be6f254d3b55f35cf5f4dcacd4487588aca5b51db79cc1c5b18a421ee9f513a64736f6c63430005090032

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a08231146102185780638da5cb5b1461027057806395d89b41146102ba578063a9059cbb1461033d578063ddd08f67146103a3578063fb932108146103ed576100b4565b806306fdde03146100b957806318160ddd1461013c578063313ce5671461015a5780634e6a6ffc146101785780635f5868db146101cc5780636623fc46146101ea575b600080fd5b6100c1610453565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101015780820151818401526020810190506100e6565b50505050905090810190601f16801561012e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101446104f1565b6040518082815260200191505060405180910390f35b6101626104fa565b6040518082815260200191505060405180910390f35b6101a46004803603602081101561018e57600080fd5b8101908080359060200190929190505050610500565b6040518084815260200183815260200182151515158152602001935050505060405180910390f35b6101d4610544565b6040518082815260200191505060405180910390f35b6102166004803603602081101561020057600080fd5b810190808035906020019092919050505061054a565b005b61025a6004803603602081101561022e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109ba565b6040518082815260200191505060405180910390f35b610278610a03565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102c2610a29565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103025780820151818401526020810190506102e7565b50505050905090810190601f16801561032f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103896004803603604081101561035357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ac7565b604051808215151515815260200191505060405180910390f35b6103ab610adb565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104396004803603604081101561040357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b01565b604051808215151515815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104e95780601f106104be576101008083540402835291602001916104e9565b820191906000526020600020905b8154815290600101906020018083116104cc57829003601f168201915b505050505081565b60008054905090565b60045481565b6008818154811061050d57fe5b90600052602060002090600302016000915090508060000154908060010154908060020160009054906101000a900460ff16905083565b60055481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105a457600080fd5b600081101580156105b9575060088054905081105b6105c257600080fd5b600881815481106105cf57fe5b90600052602060002090600302016000015442101580156106185750600881815481106105f857fe5b906000526020600020906003020160020160009054906101000a900460ff165b61062157600080fd5b6008818154811061062e57fe5b90600052602060002090600302016001015460016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106ad57600080fd5b61073660016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546008838154811061071f57fe5b906000526020600020906003020160010154610b6f565b60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061082460016000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546008838154811061080d57fe5b906000526020600020906003020160010154610b9a565b60016000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108b36005546008838154811061089c57fe5b906000526020600020906003020160010154610b6f565b6005819055506000600882815481106108c857fe5b906000526020600020906003020160020160006101000a81548160ff021916908315150217905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6008848154811061099057fe5b9060005260206000209060030201600101546040518082815260200191505060405180910390a350565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610abf5780601f10610a9457610100808354040283529160200191610abf565b820191906000526020600020905b815481529060010190602001808311610aa257829003601f168201915b505050505081565b6000610ad38383610bc5565b905092915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b5d57600080fd5b610b678383610bc5565b905092915050565b6000808284039050828410158015610b875750838111155b610b9057600080fd5b8091505092915050565b6000808284019050838110158015610bb25750828110155b610bbb57600080fd5b8091505092915050565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610c1357600080fd5b610c5c600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b6f565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce8600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610b9a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509291505056fea265627a7a723058201be6f254d3b55f35cf5f4dcacd4487588aca5b51db79cc1c5b18a421ee9f513a64736f6c63430005090032

1176:2115:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1176:2115:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1282:47;;;:::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;1282:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;291:86;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1336:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1647:37;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1647:37:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1373:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2599:689;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2599:689:0;;;;;;;;;;;;;;;;;:::i;:::-;;383:102;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;383:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1426:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1245:30;;;:::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;1245:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2308:116;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2308:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1453:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2432:159;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2432:159:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1282:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;291:86::-;335:7;362;;355:14;;291:86;:::o;1336:29::-;;;;:::o;1647:37::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1373:46::-;;;;:::o;2599:689::-;2668:5;;;;;;;;;;;2654:19;;:10;:19;;;2646:28;;;;;;2696:1;2693;:4;;:32;;;;;2703:15;:22;;;;2701:1;:24;2693:32;2685:41;;;;;;2752:15;2768:1;2752:18;;;;;;;;;;;;;;;;;;:31;;;2745:3;:38;;:68;;;;;2787:15;2803:1;2787:18;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;2745:68;2737:77;;;;;;2859:15;2875:1;2859:18;;;;;;;;;;;;;;;;;;:32;;;2833:9;:22;2843:11;;;;;;;;;;;2833:22;;;;;;;;;;;;;;;;:58;;2825:67;;;;;;2930:61;2934:9;:22;2944:11;;;;;;;;;;;2934:22;;;;;;;;;;;;;;;;2958:15;2974:1;2958:18;;;;;;;;;;;;;;;;;;:32;;;2930:3;:61::i;:::-;2905:9;:22;2915:11;;;;;;;;;;;2905:22;;;;;;;;;;;;;;;:86;;;;3021:55;3025:9;:16;3035:5;;;;;;;;;;;3025:16;;;;;;;;;;;;;;;;3043:15;3059:1;3043:18;;;;;;;;;;;;;;;;;;:32;;;3021:3;:55::i;:::-;3002:9;:16;3012:5;;;;;;;;;;;3002:16;;;;;;;;;;;;;;;:74;;;;3104:51;3108:12;;3122:15;3138:1;3122:18;;;;;;;;;;;;;;;;;;:32;;;3104:3;:51::i;:::-;3089:12;:66;;;;3195:5;3166:15;3182:1;3166:18;;;;;;;;;;;;;;;;;;:26;;;:34;;;;;;;;;;;;;;;;;;3240:5;;;;;;;;;;;3218:62;;3227:11;;;;;;;;;;;3218:62;;;3247:15;3263:1;3247:18;;;;;;;;;;;;;;;;;;:32;;;3218:62;;;;;;;;;;;;;;;;;;2599:689;:::o;383:102::-;436:7;463:9;:14;473:3;463:14;;;;;;;;;;;;;;;;456:21;;383:102;;;:::o;1426:20::-;;;;;;;;;;;;;:::o;1245:30::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2308:116::-;2368:4;2392:24;2407:3;2412;2392:14;:24::i;:::-;2385:31;;2308:116;;;;:::o;1453:42::-;;;;;;;;;;;;;:::o;2432:159::-;2494:4;2533:5;;;;;;;;;;;2519:19;;:10;:19;;;2511:28;;;;;;2559:24;2574:3;2579;2559:14;:24::i;:::-;2552:31;;2432:159;;;;:::o;1011:158::-;1069:7;1089:9;1105:1;1101;:5;1089:17;;1130:1;1125;:6;;:16;;;;;1140:1;1135;:6;;1125:16;1117:25;;;;;;1160:1;1153:8;;;1011:158;;;;:::o;847:156::-;905:7;925:9;941:1;937;:5;925:17;;966:1;961;:6;;:14;;;;;974:1;971;:4;;961:14;953:23;;;;;;994:1;987:8;;;847:156;;;;:::o;497:338::-;557:4;607:3;582:9;:21;592:10;582:21;;;;;;;;;;;;;;;;:28;;574:37;;;;;;656:31;660:9;:21;670:10;660:21;;;;;;;;;;;;;;;;683:3;656;:31::i;:::-;632:9;:21;642:10;632:21;;;;;;;;;;;;;;;:55;;;;715:24;719:9;:14;729:3;719:14;;;;;;;;;;;;;;;;735:3;715;:24::i;:::-;698:9;:14;708:3;698:14;;;;;;;;;;;;;;;:41;;;;786:3;765:30;;774:10;765:30;;;791:3;765:30;;;;;;;;;;;;;;;;;;823:4;816:11;;497:338;;;;:::o

bzzr://1be6f254d3b55f35cf5f4dcacd4487588aca5b51db79cc1c5b18a421ee9f513a