Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract AtisStaking *
•    - function feed()
•    - function stake(uint256 amount)
•    - function unstake(uint256 _amount)
•    - function withdraw()
•    - function claimEarning()
•    - function getGlobalInfo()
•    - function estimateDividendsOf(address ...
•    - function dividendsOf(address _custome ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.4;

interface IERC20 {

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender)
    external view returns (uint256);

    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value)
    external returns (bool);

    function transferFrom(address from, address to, uint256 value)
    external returns (bool);

}

library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b);
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a / b;
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        return a - b;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);
        return c;
    }
}


contract AtisStaking {
	using SafeMath for uint256;
 	address payable internal owner;
    IERC20 internal atis = IERC20(address(0x821144518dfE9e7b44fCF4d0824e15e8390d4637));
    uint256 constant internal MAGNITUDE = 2 ** 64;
    uint32 constant private DROP_RATE = 3;
    uint32 constant private PENALITY_FEE = 3;
    uint32 constant private DROP_FREQUENCY = 48 hours;
    uint32 constant private TIME_LOCK_FREQUENCY = 48 hours;
    

    mapping(address => uint256) public stakedOf;
    mapping(address => int256) private payoutsTo;
    mapping(address => uint256) public claimedOf;
    mapping(address => uint256) public unstakedOf;
    mapping(address => uint256) public timeLock;
    
    uint256 private profitPerShare;
    uint256 private pool;
    uint256 private totalSupply;

    uint256 public lastDripTime  = now;
    
    modifier onlyOwner() {
      require(msg.sender == owner,"NO_AUTH");
    _;
    }
 
	constructor() public {
		owner = msg.sender;
    }


     modifier hasDripped(){
        if(pool > 0 && totalSupply > 0){ 
          uint256 cyclePassed = SafeMath.sub(now,lastDripTime)/DROP_FREQUENCY;
         
          uint256 dividends =  cyclePassed*((pool * DROP_RATE) / 100);

          if (dividends > pool) {
              dividends = pool;
          }

          profitPerShare = SafeMath.add(profitPerShare, (dividends * MAGNITUDE) / totalSupply);
          pool = pool.sub(dividends);
          lastDripTime = lastDripTime + (cyclePassed * DROP_FREQUENCY);
        }

        _;
    }

    function feed() public payable{
        require(msg.value > 0);
        if(pool == 0 && totalSupply > 0){//START DRIPPING
            lastDripTime = now;
        }
        pool += msg.value;
       
    }


    function stake(uint256 amount) hasDripped  public 
    {
        require(amount > 0);
        uint256 currentBalance = atis.balanceOf(address(this));
        atis.transferFrom(msg.sender, address(this), amount);
        uint256 diff = atis.balanceOf(address(this)) - currentBalance;
        
        require(diff > 0);
        
        if(pool > 0 && totalSupply == 0){//START DRIPPING
            lastDripTime = now;
        }
        totalSupply = SafeMath.add(totalSupply,diff);
        stakedOf[msg.sender] = SafeMath.add(stakedOf[msg.sender], diff);
        payoutsTo[msg.sender] += (int256) (profitPerShare * diff);
    }

    function unstake(uint256 _amount) hasDripped public 
    {
        require(_amount <= stakedOf[msg.sender]);
        totalSupply -= _amount;
        stakedOf[msg.sender]= SafeMath.sub(stakedOf[msg.sender], _amount);
        unstakedOf[msg.sender] += _amount;
        payoutsTo[msg.sender] -= (int256) (profitPerShare * _amount);
        timeLock[msg.sender] = now + TIME_LOCK_FREQUENCY;
        
    }

    function withdraw() hasDripped public 
    {
        require(unstakedOf[msg.sender] > 0);
        require(timeLock[msg.sender] < now , "LOCKED");
        uint256 amount = unstakedOf[msg.sender];
        uint256 penality = (amount * PENALITY_FEE) / 100;
        unstakedOf[msg.sender] = 0;
        
        atis.transfer(address(0xe82954Fc979A8CE3b9BBC1B19c6D6A2Aa6d240B2),penality);
        atis.transfer(msg.sender,SafeMath.sub(amount,penality));
    }

    function claimEarning() hasDripped public {
        uint256 divs = dividendsOf(msg.sender);

        require(divs > 0 , "NO_DIV");
        payoutsTo[msg.sender] += (int256) (divs * MAGNITUDE);
        claimedOf[msg.sender] += divs;
        msg.sender.transfer(divs);
    }


    function getGlobalInfo() public view returns (uint256 ,uint256){
        return (pool,totalSupply);
    }
    

    function estimateDividendsOf(address _customerAddress) public view returns (uint256) {
        if(pool > 0 && totalSupply > 0){
            uint256 _profitPerShare = profitPerShare;
            uint256 cyclePassed = SafeMath.sub(now,lastDripTime) / DROP_FREQUENCY;
            uint256 dividends =  cyclePassed*((pool * DROP_RATE) / 100);
    
            if (dividends > pool) {
                dividends = pool;
            }
    
            _profitPerShare = SafeMath.add(profitPerShare, (dividends * MAGNITUDE) / totalSupply);
    
            return  (uint256) ((int256) (_profitPerShare * stakedOf[_customerAddress]) - payoutsTo[_customerAddress]) / MAGNITUDE;
            
        }else{
            return 0;
        }
    }

    function dividendsOf(address _customerAddress) public view returns (uint256) {
        return (uint256) ((int256) (profitPerShare * stakedOf[_customerAddress]) -payoutsTo[_customerAddress]) / MAGNITUDE ;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"dividendsOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_amount","type":"uint256"}],"name":"unstake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"feed","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"timeLock","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"unstakedOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"claimEarning","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"stake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"stakedOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"claimedOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_customerAddress","type":"address"}],"name":"estimateDividendsOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getGlobalInfo","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lastDripTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"}]

608060405260018054600160a060020a03191673821144518dfe9e7b44fcf4d0824e15e8390d463717905542600a5534801561003a57600080fd5b5060008054600160a060020a03191633179055610d338061005c6000396000f3fe6080604052600436106100de576000357c010000000000000000000000000000000000000000000000000000000090048063970466df1161009c578063baa3f7ee11610076578063baa3f7ee14610249578063c00f742c1461027c578063dab680dc146102af578063fba1f7b0146102dd576100de565b8063970466df146101d7578063a694fc3a146101ec578063af500ba314610216576100de565b806265318b146100e35780632e17de781461012857806337a7b7d8146101545780633ccfd60b1461015c57806343496568146101715780635a575e57146101a4575b600080fd5b3480156100ef57600080fd5b506101166004803603602081101561010657600080fd5b5035600160a060020a03166102f2565b60408051918252519081900360200190f35b34801561013457600080fd5b506101526004803603602081101561014b57600080fd5b5035610330565b005b610152610460565b34801561016857600080fd5b50610152610493565b34801561017d57600080fd5b506101166004803603602081101561019457600080fd5b5035600160a060020a031661074f565b3480156101b057600080fd5b50610116600480360360208110156101c757600080fd5b5035600160a060020a0316610761565b3480156101e357600080fd5b50610152610773565b3480156101f857600080fd5b506101526004803603602081101561020f57600080fd5b50356108ee565b34801561022257600080fd5b506101166004803603602081101561023957600080fd5b5035600160a060020a0316610be7565b34801561025557600080fd5b506101166004803603602081101561026c57600080fd5b5035600160a060020a0316610bf9565b34801561028857600080fd5b506101166004803603602081101561029f57600080fd5b5035600160a060020a0316610c0b565b3480156102bb57600080fd5b506102c4610cc9565b6040805192835260208301919091528051918290030190f35b3480156102e957600080fd5b50610116610cd3565b600160a060020a038116600090815260036020908152604080832054600290925282205460075468010000000000000000929102030490505b919050565b600060085411801561034457506000600954115b156103d85760006202a30063ffffffff1661036142600a54610cd9565b81151561036a57fe5b60085491900491506064600382020482029081111561038857506008545b6103ac6007546009546801000000000000000084028115156103a657fe5b04610cee565b6007556008546103c2908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b336000908152600260205260409020548111156103f457600080fd5b600980548290039055336000908152600260205260409020546104179082610cd9565b336000908152600260209081526040808320939093556005815282822080548501905560075460038252838320805491909502900390935560069092529020426202a300019055565b6000341161046d57600080fd5b60085415801561047f57506000600954115b156104895742600a555b6008805434019055565b60006008541180156104a757506000600954115b156105355760006202a30063ffffffff166104c442600a54610cd9565b8115156104cd57fe5b6008549190049150606460038202048202908111156104eb57506008545b6105096007546009546801000000000000000084028115156103a657fe5b60075560085461051f908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b336000908152600560205260408120541161054f57600080fd5b3360009081526006602052604090205442116105cc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b45440000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b33600090815260056020908152604080832080549084905560015482517fa9059cbb00000000000000000000000000000000000000000000000000000000815273e82954fc979a8ce3b9bbc1b19c6d6a2aa6d240b260048201526064600384020460248201819052935192959394600160a060020a039092169363a9059cbb93604480840194939192918390030190829087803b15801561066c57600080fd5b505af1158015610680573d6000803e3d6000fd5b505050506040513d602081101561069657600080fd5b5050600154600160a060020a031663a9059cbb336106b48585610cd9565b6040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050602060405180830381600087803b15801561071f57600080fd5b505af1158015610733573d6000803e3d6000fd5b505050506040513d602081101561074957600080fd5b50505050565b60066020526000908152604090205481565b60056020526000908152604090205481565b600060085411801561078757506000600954115b156108155760006202a30063ffffffff166107a442600a54610cd9565b8115156107ad57fe5b6008549190049150606460038202048202908111156107cb57506008545b6107e96007546009546801000000000000000084028115156103a657fe5b6007556008546107ff908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b6000610820336102f2565b90506000811161089157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4e4f5f4449560000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b336000818152600360209081526040808320805468010000000000000000870201905560049091528082208054850190555183156108fc0291849190818181858888f193505050501580156108ea573d6000803e3d6000fd5b5050565b600060085411801561090257506000600954115b156109905760006202a30063ffffffff1661091f42600a54610cd9565b81151561092857fe5b60085491900491506064600382020482029081111561094657506008545b6109646007546009546801000000000000000084028115156103a657fe5b60075560085461097a908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b6000811161099d57600080fd5b600154604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600092600160a060020a0316916370a08231916024808301926020929190829003018186803b158015610a0157600080fd5b505afa158015610a15573d6000803e3d6000fd5b505050506040513d6020811015610a2b57600080fd5b5051600154604080517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018690529051929350600160a060020a03909116916323b872dd916064808201926020929091908290030181600087803b158015610aa357600080fd5b505af1158015610ab7573d6000803e3d6000fd5b505050506040513d6020811015610acd57600080fd5b5050600154604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928492600160a060020a03909116916370a0823191602480820192602092909190829003018186803b158015610b3857600080fd5b505afa158015610b4c573d6000803e3d6000fd5b505050506040513d6020811015610b6257600080fd5b505103905060008111610b7457600080fd5b6000600854118015610b865750600954155b15610b905742600a555b610b9c60095482610cee565b60095533600090815260026020526040902054610bb99082610cee565b3360009081526002602090815260408083209390935560075460039091529190208054919092020190555050565b60026020526000908152604090205481565b60046020526000908152604090205481565b600080600854118015610c2057506000600954115b15610cc157600754600a546000906202a30090610c3e904290610cd9565b811515610c4757fe5b600854919004915060646003820204820290811115610c6557506008545b610c836007546009546801000000000000000084028115156103a657fe5b600160a060020a0386166000908152600360209081526040808320546002909252909120546801000000000000000092020304935061032b92505050565b50600061032b565b6008546009549091565b600a5481565b600082821115610ce857600080fd5b50900390565b600082820183811015610d0057600080fd5b939250505056fea165627a7a72305820dc32ec9433db4515aca153fbda61e4e3367aa171ca5a3697cfe4aca305f5b97a0029

0x6080604052600436106100de576000357c010000000000000000000000000000000000000000000000000000000090048063970466df1161009c578063baa3f7ee11610076578063baa3f7ee14610249578063c00f742c1461027c578063dab680dc146102af578063fba1f7b0146102dd576100de565b8063970466df146101d7578063a694fc3a146101ec578063af500ba314610216576100de565b806265318b146100e35780632e17de781461012857806337a7b7d8146101545780633ccfd60b1461015c57806343496568146101715780635a575e57146101a4575b600080fd5b3480156100ef57600080fd5b506101166004803603602081101561010657600080fd5b5035600160a060020a03166102f2565b60408051918252519081900360200190f35b34801561013457600080fd5b506101526004803603602081101561014b57600080fd5b5035610330565b005b610152610460565b34801561016857600080fd5b50610152610493565b34801561017d57600080fd5b506101166004803603602081101561019457600080fd5b5035600160a060020a031661074f565b3480156101b057600080fd5b50610116600480360360208110156101c757600080fd5b5035600160a060020a0316610761565b3480156101e357600080fd5b50610152610773565b3480156101f857600080fd5b506101526004803603602081101561020f57600080fd5b50356108ee565b34801561022257600080fd5b506101166004803603602081101561023957600080fd5b5035600160a060020a0316610be7565b34801561025557600080fd5b506101166004803603602081101561026c57600080fd5b5035600160a060020a0316610bf9565b34801561028857600080fd5b506101166004803603602081101561029f57600080fd5b5035600160a060020a0316610c0b565b3480156102bb57600080fd5b506102c4610cc9565b6040805192835260208301919091528051918290030190f35b3480156102e957600080fd5b50610116610cd3565b600160a060020a038116600090815260036020908152604080832054600290925282205460075468010000000000000000929102030490505b919050565b600060085411801561034457506000600954115b156103d85760006202a30063ffffffff1661036142600a54610cd9565b81151561036a57fe5b60085491900491506064600382020482029081111561038857506008545b6103ac6007546009546801000000000000000084028115156103a657fe5b04610cee565b6007556008546103c2908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b336000908152600260205260409020548111156103f457600080fd5b600980548290039055336000908152600260205260409020546104179082610cd9565b336000908152600260209081526040808320939093556005815282822080548501905560075460038252838320805491909502900390935560069092529020426202a300019055565b6000341161046d57600080fd5b60085415801561047f57506000600954115b156104895742600a555b6008805434019055565b60006008541180156104a757506000600954115b156105355760006202a30063ffffffff166104c442600a54610cd9565b8115156104cd57fe5b6008549190049150606460038202048202908111156104eb57506008545b6105096007546009546801000000000000000084028115156103a657fe5b60075560085461051f908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b336000908152600560205260408120541161054f57600080fd5b3360009081526006602052604090205442116105cc57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4c4f434b45440000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b33600090815260056020908152604080832080549084905560015482517fa9059cbb00000000000000000000000000000000000000000000000000000000815273e82954fc979a8ce3b9bbc1b19c6d6a2aa6d240b260048201526064600384020460248201819052935192959394600160a060020a039092169363a9059cbb93604480840194939192918390030190829087803b15801561066c57600080fd5b505af1158015610680573d6000803e3d6000fd5b505050506040513d602081101561069657600080fd5b5050600154600160a060020a031663a9059cbb336106b48585610cd9565b6040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050602060405180830381600087803b15801561071f57600080fd5b505af1158015610733573d6000803e3d6000fd5b505050506040513d602081101561074957600080fd5b50505050565b60066020526000908152604090205481565b60056020526000908152604090205481565b600060085411801561078757506000600954115b156108155760006202a30063ffffffff166107a442600a54610cd9565b8115156107ad57fe5b6008549190049150606460038202048202908111156107cb57506008545b6107e96007546009546801000000000000000084028115156103a657fe5b6007556008546107ff908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b6000610820336102f2565b90506000811161089157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f4e4f5f4449560000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b336000818152600360209081526040808320805468010000000000000000870201905560049091528082208054850190555183156108fc0291849190818181858888f193505050501580156108ea573d6000803e3d6000fd5b5050565b600060085411801561090257506000600954115b156109905760006202a30063ffffffff1661091f42600a54610cd9565b81151561092857fe5b60085491900491506064600382020482029081111561094657506008545b6109646007546009546801000000000000000084028115156103a657fe5b60075560085461097a908263ffffffff610cd916565b60085550600a80546202a3009290920290910190555b6000811161099d57600080fd5b600154604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600092600160a060020a0316916370a08231916024808301926020929190829003018186803b158015610a0157600080fd5b505afa158015610a15573d6000803e3d6000fd5b505050506040513d6020811015610a2b57600080fd5b5051600154604080517f23b872dd000000000000000000000000000000000000000000000000000000008152336004820152306024820152604481018690529051929350600160a060020a03909116916323b872dd916064808201926020929091908290030181600087803b158015610aa357600080fd5b505af1158015610ab7573d6000803e3d6000fd5b505050506040513d6020811015610acd57600080fd5b5050600154604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290516000928492600160a060020a03909116916370a0823191602480820192602092909190829003018186803b158015610b3857600080fd5b505afa158015610b4c573d6000803e3d6000fd5b505050506040513d6020811015610b6257600080fd5b505103905060008111610b7457600080fd5b6000600854118015610b865750600954155b15610b905742600a555b610b9c60095482610cee565b60095533600090815260026020526040902054610bb99082610cee565b3360009081526002602090815260408083209390935560075460039091529190208054919092020190555050565b60026020526000908152604090205481565b60046020526000908152604090205481565b600080600854118015610c2057506000600954115b15610cc157600754600a546000906202a30090610c3e904290610cd9565b811515610c4757fe5b600854919004915060646003820204820290811115610c6557506008545b610c836007546009546801000000000000000084028115156103a657fe5b600160a060020a0386166000908152600360209081526040808320546002909252909120546801000000000000000092020304935061032b92505050565b50600061032b565b6008546009549091565b600a5481565b600082821115610ce857600080fd5b50900390565b600082820183811015610d0057600080fd5b939250505056fea165627a7a72305820dc32ec9433db4515aca153fbda61e4e3367aa171ca5a3697cfe4aca305f5b97a0029

1208:4713:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5707:211;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5707:211:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5707:211:0;-1:-1:-1;;;;;5707:211:0;;:::i;:::-;;;;;;;;;;;;;;;;3651:410;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3651:410:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3651:410:0;;:::i;:::-;;2780:211;;;:::i;4069:463::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4069:463:0;;;:::i;1862:43::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1862:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1862:43:0;-1:-1:-1;;;;;1862:43:0;;:::i;1810:45::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1810:45:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1810:45:0;-1:-1:-1;;;;;1810:45:0;;:::i;4540:279::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4540:279:0;;;:::i;3001:642::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3001:642:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3001:642:0;;:::i;1658:43::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1658:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1658:43:0;-1:-1:-1;;;;;1658:43:0;;:::i;1759:44::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1759:44:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1759:44:0;-1:-1:-1;;;;;1759:44:0;;:::i;4950:749::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4950:749:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4950:749:0;-1:-1:-1;;;;;4950:749:0;;:::i;4829:107::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4829:107:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2018:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2018:34:0;;;:::i;5707:211::-;-1:-1:-1;;;;;5869:27:0;;5775:7;5869:27;;;:9;:27;;;;;;;;;5840:8;:26;;;;;;5823:14;;1428:7;;5823:43;;5813:83;5802:107;5795:114;;5707:211;;;;:::o;3651:410::-;2260:1;2253:4;;:8;:27;;;;;2279:1;2265:11;;:15;2253:27;2250:501;;;2295:19;1574:8;2317:45;;:30;2330:3;2334:12;;2317;:30::i;:::-;:45;;;;;;;2421:4;;2317:45;;;;-1:-1:-1;2441:3:0;1478:1;2421:16;;2420:24;2407:38;;;2464:16;;2460:69;;;-1:-1:-1;2511:4:0;;2460:69;2560:67;2573:14;;2615:11;;1428:7;2590:9;:21;2589:37;;;;;;;;2560:12;:67::i;:::-;2543:14;:84;2647:4;;:19;;2656:9;2647:19;:8;:19;:::i;:::-;2640:4;:26;-1:-1:-1;2694:12:0;;;1574:8;2710:28;;;;2694:45;;;2679:60;;2250:501;3748:10;3739:20;;;;:8;:20;;;;;;3728:31;;;3720:40;;;;;;3771:11;:22;;;;;;;3848:10;3771:11;3839:20;;;:8;:20;;;;;;3826:43;;3786:7;3826:12;:43::i;:::-;3813:10;3804:20;;;;:8;:20;;;;;;;;:65;;;;3880:10;:22;;;;;:33;;;;;;3959:14;;3924:9;:21;;;;;:60;;3959:24;;;;3924:60;;;;;3995:8;:20;;;;;4018:3;1635:8;4018:25;3995:48;;3651:410::o;2780:211::-;2841:1;2829:9;:13;2821:22;;;;;;2857:4;;:9;:28;;;;;2884:1;2870:11;;:15;2857:28;2854:93;;;2932:3;2917:12;:18;2854:93;2957:4;:17;;2965:9;2957:17;;;2780:211::o;4069:463::-;2260:1;2253:4;;:8;:27;;;;;2279:1;2265:11;;:15;2253:27;2250:501;;;2295:19;1574:8;2317:45;;:30;2330:3;2334:12;;2317;:30::i;:::-;:45;;;;;;;2421:4;;2317:45;;;;-1:-1:-1;2441:3:0;1478:1;2421:16;;2420:24;2407:38;;;2464:16;;2460:69;;;-1:-1:-1;2511:4:0;;2460:69;2560:67;2573:14;;2615:11;;1428:7;2590:9;:21;2589:37;;;;;;2560:67;2543:14;:84;2647:4;;:19;;2656:9;2647:19;:8;:19;:::i;:::-;2640:4;:26;-1:-1:-1;2694:12:0;;;1574:8;2710:28;;;;2694:45;;;2679:60;;2250:501;4143:10;4157:1;4132:22;;;:10;:22;;;;;;:26;4124:35;;;;;;4187:10;4178:20;;;;:8;:20;;;;;;4201:3;-1:-1:-1;4170:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4255:10;4227:14;4244:22;;;:10;:22;;;;;;;;;;4336:26;;;;-1:-1:-1;4383:4:0;:75;;;;;4405:42;4383:75;;;;4322:3;1525:1;4297:21;;4296:29;4383:75;;;;;;;;4244:22;;4296:29;;-1:-1:-1;;;;;4383:4:0;;;;:13;;:75;;;;;4244:22;4383:75;;;;;;;;;;:4;:75;;;5:2:-1;;;;30:1;27;20:12;5:2;4383:75:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4383:75:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;4469:4:0;;-1:-1:-1;;;;;4469:4:0;:13;4483:10;4494:29;4507:6;4514:8;4494:12;:29::i;:::-;4469:55;;;;;;;;;;;;;-1:-1:-1;;;;;4469:55:0;-1:-1:-1;;;;;4469:55:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4469:55:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4469:55:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;4069:463:0:o;1862:43::-;;;;;;;;;;;;;:::o;1810:45::-;;;;;;;;;;;;;:::o;4540:279::-;2260:1;2253:4;;:8;:27;;;;;2279:1;2265:11;;:15;2253:27;2250:501;;;2295:19;1574:8;2317:45;;:30;2330:3;2334:12;;2317;:30::i;:::-;:45;;;;;;;2421:4;;2317:45;;;;-1:-1:-1;2441:3:0;1478:1;2421:16;;2420:24;2407:38;;;2464:16;;2460:69;;;-1:-1:-1;2511:4:0;;2460:69;2560:67;2573:14;;2615:11;;1428:7;2590:9;:21;2589:37;;;;;;2560:67;2543:14;:84;2647:4;;:19;;2656:9;2647:19;:8;:19;:::i;:::-;2640:4;:26;-1:-1:-1;2694:12:0;;;1574:8;2710:28;;;;2694:45;;;2679:60;;2250:501;4593:12;4608:23;4620:10;4608:11;:23::i;:::-;4593:38;-1:-1:-1;4659:1:0;4652:8;;4644:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4693:10;4683:21;;;;:9;:21;;;;;;;;:52;;1428:7;4718:16;;4683:52;;;4746:9;:21;;;;;;:29;;;;;;4786:25;;;;;;4718:4;;4786:25;;4683:21;4786:25;4718:4;4693:10;4786:25;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4786:25:0;2763:1;4540:279::o;3001:642::-;2260:1;2253:4;;:8;:27;;;;;2279:1;2265:11;;:15;2253:27;2250:501;;;2295:19;1574:8;2317:45;;:30;2330:3;2334:12;;2317;:30::i;:::-;:45;;;;;;;2421:4;;2317:45;;;;-1:-1:-1;2441:3:0;1478:1;2421:16;;2420:24;2407:38;;;2464:16;;2460:69;;;-1:-1:-1;2511:4:0;;2460:69;2560:67;2573:14;;2615:11;;1428:7;2590:9;:21;2589:37;;;;;;2560:67;2543:14;:84;2647:4;;:19;;2656:9;2647:19;:8;:19;:::i;:::-;2640:4;:26;-1:-1:-1;2694:12:0;;;1574:8;2710:28;;;;2694:45;;;2679:60;;2250:501;3085:1;3076:10;;3068:19;;;;;;3123:4;;:29;;;;;;3146:4;3123:29;;;;;;3098:22;;-1:-1:-1;;;;;3123:4:0;;:14;;:29;;;;;;;;;;;;;;:4;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;3123:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3123:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3123:29:0;3163:4;;:52;;;;;;3181:10;3163:52;;;;3201:4;3163:52;;;;;;;;;;;;3123:29;;-1:-1:-1;;;;;;3163:4:0;;;;:17;;:52;;;;;3123:29;;3163:52;;;;;;;;:4;;:52;;;5:2:-1;;;;30:1;27;20:12;5:2;3163:52:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3163:52:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;3241:4:0;;:29;;;;;;3264:4;3241:29;;;;;;3226:12;;3273:14;;-1:-1:-1;;;;;3241:4:0;;;;:14;;:29;;;;;3163:52;;3241:29;;;;;;;;:4;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;3241:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3241:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3241:29:0;:46;;-1:-1:-1;3323:1:0;3316:8;;3308:17;;;;;;3356:1;3349:4;;:8;:28;;;;-1:-1:-1;3361:11:0;;:16;3349:28;3346:93;;;3424:3;3409:12;:18;3346:93;3463:30;3476:11;;3488:4;3463:12;:30::i;:::-;3449:11;:44;3549:10;3540:20;;;;:8;:20;;;;;;3527:40;;3562:4;3527:12;:40::i;:::-;3513:10;3504:20;;;;:8;:20;;;;;;;;:63;;;;3613:14;;3578:9;:21;;;;;;:57;;3613:21;;;;3578:57;;;-1:-1:-1;;3001:642:0:o;1658:43::-;;;;;;;;;;;;;:::o;1759:44::-;;;;;;;;;;;;;:::o;4950:749::-;5026:7;5056:1;5049:4;;:8;:27;;;;;5075:1;5061:11;;:15;5049:27;5046:646;;;5118:14;;5186:12;;5092:23;;1574:8;;5169:30;;5182:3;;5169:12;:30::i;:::-;:47;;;;;;;5266:4;;5169:47;;;;-1:-1:-1;5286:3:0;1478:1;5266:16;;5265:24;5252:38;;;5315:16;;5311:73;;;-1:-1:-1;5364:4:0;;5311:73;5422:67;5435:14;;5477:11;;1428:7;5452:9;:21;5451:37;;;;;;5422:67;-1:-1:-1;;;;;5587:27:0;;;;;;:9;:27;;;;;;;;;5557:8;:26;;;;;;;1428:7;5539:44;;5529:85;5518:109;;-1:-1:-1;5510:117:0;;-1:-1:-1;;;5510:117:0;5046:646;-1:-1:-1;5679:1:0;5672:8;;4829:107;4911:4;;4916:11;;4829:107;;:::o;2018:34::-;;;;:::o;919:124::-;977:7;1005:6;;;;997:15;;;;;;-1:-1:-1;1030:5:0;;;919:124::o;1051:148::-;1109:7;1141:5;;;1165:6;;;;1157:15;;;;;;1190:1;1051:148;-1:-1:-1;;;1051:148:0:o

bzzr://dc32ec9433db4515aca153fbda61e4e3367aa171ca5a3697cfe4aca305f5b97a