Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract Ownable    - function Ownable()    - function transferOwnership(address ne ... 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 FOMO is ERC20,Ownable *    - function FOMO()    - function airdrop(address [] _holders, ...    - function addIssue(uint256 amount)    - function ()    - function etherProceeds()    - function lockBalance(address user, ui ...    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function setAdmin(address _admin)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-10
*/

pragma solidity ^0.4.13;


contract ERC20Basic {
  uint256 public totalSupply;
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}
contract Ownable {
  address public owner;


  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  function Ownable() public {
    owner = msg.sender;
  }


  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }


  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

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

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

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

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

contract FOMO is ERC20,Ownable{
	using SafeMath for uint256;

	//the base info of the token
	string public constant name="FOMO";
	string public constant symbol="FMC";
	string public constant version = "1.0";
	uint256 public constant decimals = 18;
    uint256 public airdropSupply;
    
    address public admin;

	uint256 public MAX_SUPPLY=20000000*10**decimals;


    struct epoch  {
        uint256 endTime;
        uint256 amount;
    }


	mapping(address=>epoch[]) public lockEpochsMap;


    mapping(address => uint256) balances;
	mapping (address => mapping (address => uint256)) allowed;
	

	function FOMO(){
        airdropSupply=0;
		totalSupply = MAX_SUPPLY;
		balances[msg.sender] = MAX_SUPPLY;
		Transfer(0x0, msg.sender, MAX_SUPPLY);
	}

    function airdrop(address [] _holders,uint256 paySize) external
    	onlyOwner 
	{
        uint256 count = _holders.length;
        assert(paySize.mul(count) <= balanceOf(msg.sender));
        for (uint256 i = 0; i < count; i++) {
            transfer(_holders [i], paySize);
			airdropSupply = airdropSupply.add(paySize);
        }
    }

    function addIssue(uint256 amount) external
    {
		assert(msg.sender == owner||msg.sender == admin);
		if(msg.sender == owner){
			balances[msg.sender] = balances[msg.sender].add(amount);
			MAX_SUPPLY=MAX_SUPPLY.add(amount);
			Transfer(0x0, msg.sender, amount);
		}else if(msg.sender == admin){
			balances[msg.sender] = balances[msg.sender].add(amount);
			Transfer(0x0, msg.sender, amount);
		}
	}


	function () payable external
	{
	}


	function etherProceeds() external
		onlyOwner

	{
		if(!msg.sender.send(this.balance)) revert();
	}



	function lockBalance(address user, uint256 amount,uint256 endTime) external
		onlyOwner
	{
		 epoch[] storage epochs = lockEpochsMap[user];
		 epochs.push(epoch(endTime,amount));
	}


  	function transfer(address _to, uint256 _value) public  returns (bool)
 	{
		require(_to != address(0));
		//计算锁仓份额
		epoch[] epochs = lockEpochsMap[msg.sender];
		uint256 needLockBalance = 0;
		for(uint256 i;i<epochs.length;i++)
		{
			if( now < epochs[i].endTime )
			{
				needLockBalance=needLockBalance.add(epochs[i].amount);
			}
		}

		require(balances[msg.sender].sub(_value)>=needLockBalance);
		// SafeMath.sub will throw if there is not enough balance.
		balances[msg.sender] = balances[msg.sender].sub(_value);
		balances[_to] = balances[_to].add(_value);
		Transfer(msg.sender, _to, _value);
		return true;
  	}

  	function balanceOf(address _owner) public constant returns (uint256 balance) 
  	{
		return balances[_owner];
  	}


  	function transferFrom(address _from, address _to, uint256 _value) public returns (bool) 
  	{
		require(_to != address(0));


		epoch[] epochs = lockEpochsMap[_from];
		uint256 needLockBalance = 0;
		for(uint256 i;i<epochs.length;i++)
		{
			if( now < epochs[i].endTime )
			{
				needLockBalance = needLockBalance.add(epochs[i].amount);
			}
		}

		require(balances[_from].sub(_value)>=needLockBalance);
		uint256 _allowance = allowed[_from][msg.sender];

		balances[_from] = balances[_from].sub(_value);
		balances[_to] = balances[_to].add(_value);
		allowed[_from][msg.sender] = _allowance.sub(_value);
		Transfer(_from, _to, _value);
		return true;
  	}

  	function approve(address _spender, uint256 _value) public returns (bool) 
  	{
		allowed[msg.sender][_spender] = _value;
		Approval(msg.sender, _spender, _value);
		return true;
  	}

  	function allowance(address _owner, address _spender) public constant returns (uint256 remaining) 
  	{
		return allowed[_owner][_spender];
  	}

    function setAdmin(address _admin) public onlyOwner{
        admin=_admin;
    }
	  
}

• 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":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","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":"","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":"MAX_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"version","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"lockEpochsMap","outputs":[{"name":"endTime","type":"uint256"},{"name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_admin","type":"address"}],"name":"setAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"etherProceeds","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"user","type":"address"},{"name":"amount","type":"uint256"},{"name":"endTime","type":"uint256"}],"name":"lockBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_holders","type":"address[]"},{"name":"paySize","type":"uint256"}],"name":"airdrop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"addIssue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"admin","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"airdropSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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"},{"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"}]

60806040526012600a0a6301312d000260045534801561001e57600080fd5b5033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600281905550600454600081905550600454600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a3611abb806101186000396000f30060806040526004361061011d576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461011f578063095ea7b3146101af57806318160ddd1461021457806323b872dd1461023f578063313ce567146102c457806332cb6b0c146102ef57806354fd4d501461031a5780635b89a48a146103aa578063704b6c021461041257806370a0823114610455578063801aba56146104ac5780638da5cb5b146104c357806395d89b411461051a578063a5595683146105aa578063a9059cbb14610601578063c204642c14610666578063d57c1ea2146106ab578063dd62ed3e146106d8578063f2fde38b1461074f578063f851a44014610792578063fb3ed5c7146107e9575b005b34801561012b57600080fd5b50610134610814565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610174578082015181840152602081019050610159565b50505050905090810190601f1680156101a15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101bb57600080fd5b506101fa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084d565b604051808215151515815260200191505060405180910390f35b34801561022057600080fd5b5061022961093f565b6040518082815260200191505060405180910390f35b34801561024b57600080fd5b506102aa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610945565b604051808215151515815260200191505060405180910390f35b3480156102d057600080fd5b506102d9610d53565b6040518082815260200191505060405180910390f35b3480156102fb57600080fd5b50610304610d58565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b5061032f610d5e565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561036f578082015181840152602081019050610354565b50505050905090810190601f16801561039c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103b657600080fd5b506103f5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d97565b604051808381526020018281526020019250505060405180910390f35b34801561041e57600080fd5b50610453600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dd7565b005b34801561046157600080fd5b50610496600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e77565b6040518082815260200191505060405180910390f35b3480156104b857600080fd5b506104c1610ec0565b005b3480156104cf57600080fd5b506104d8610f75565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561052657600080fd5b5061052f610f9b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561056f578082015181840152602081019050610554565b50505050905090810190601f16801561059c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156105b657600080fd5b506105ff600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610fd4565b005b34801561060d57600080fd5b5061064c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110d1565b604051808215151515815260200191505060405180910390f35b34801561067257600080fd5b506106a9600480360381019080803590602001908201803590602001919091929391929390803590602001909291905050506113ca565b005b3480156106b757600080fd5b506106d6600480360381019080803590602001909291905050506114c6565b005b3480156106e457600080fd5b50610739600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611812565b6040518082815260200191505060405180910390f35b34801561075b57600080fd5b50610790600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611899565b005b34801561079e57600080fd5b506107a76119f1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107f557600080fd5b506107fe611a17565b6040518082815260200191505060405180910390f35b6040805190810160405280600481526020017f464f4d4f0000000000000000000000000000000000000000000000000000000081525081565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60005481565b60008060008060008073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff161415151561098857600080fd5b600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209350600092505b8380549050821015610a435783828154811015156109e857fe5b906000526020600020906002020160000154421015610a3657610a338483815481101515610a1257fe5b90600052602060002090600202016001015484611a1d90919063ffffffff16565b92505b81806001019250506109ce565b82610a9687600660008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b10151515610aa357600080fd5b600760008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610b7486600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c0986600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c5f8682611a3b90919063ffffffff16565b600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef886040518082815260200191505060405180910390a360019450505050509392505050565b601281565b60045481565b6040805190810160405280600381526020017f312e30000000000000000000000000000000000000000000000000000000000081525081565b600560205281600052604060002081815481101515610db257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e3357600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f1c57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f193505050501515610f7357600080fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f464d43000000000000000000000000000000000000000000000000000000000081525081565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561103257600080fd5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060408051908101604052808481526020018581525090806001815401808255809150509060018203906000526020600020906002020160009091929091909150600082015181600001556020820151816001015550505050505050565b600080600080600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561111357600080fd5b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209250600091505b82805490508110156111ce57828181548110151561117357fe5b9060005260206000209060020201600001544210156111c1576111be838281548110151561119d57fe5b90600052602060002090600202016001015483611a1d90919063ffffffff16565b91505b8080600101915050611159565b8161122186600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b1015151561122e57600080fd5b61128085600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061131585600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36001935050505092915050565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561142957600080fd5b84849050915061143833610e77565b61144b8385611a5490919063ffffffff16565b1115151561145557fe5b600090505b818110156114bf57611496858583818110151561147357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff16846110d1565b506114ac83600254611a1d90919063ffffffff16565b600281905550808060010191505061145a565b5050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061156f5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b151561157757fe5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156116d25761161f81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061167781600454611a1d90919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a361180f565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561180e5761177a81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b50565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156118f557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561193157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b6000808284019050838110151515611a3157fe5b8091505092915050565b6000828211151515611a4957fe5b818303905092915050565b6000806000841415611a695760009150611a88565b8284029050828482811515611a7a57fe5b04141515611a8457fe5b8091505b50929150505600a165627a7a7230582065ed5792cd740889b0a4e3cab797bfa5c3d4146fdd1f7dd7103d39fbdbf6fda00029

0x60806040526004361061011d576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461011f578063095ea7b3146101af57806318160ddd1461021457806323b872dd1461023f578063313ce567146102c457806332cb6b0c146102ef57806354fd4d501461031a5780635b89a48a146103aa578063704b6c021461041257806370a0823114610455578063801aba56146104ac5780638da5cb5b146104c357806395d89b411461051a578063a5595683146105aa578063a9059cbb14610601578063c204642c14610666578063d57c1ea2146106ab578063dd62ed3e146106d8578063f2fde38b1461074f578063f851a44014610792578063fb3ed5c7146107e9575b005b34801561012b57600080fd5b50610134610814565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610174578082015181840152602081019050610159565b50505050905090810190601f1680156101a15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101bb57600080fd5b506101fa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061084d565b604051808215151515815260200191505060405180910390f35b34801561022057600080fd5b5061022961093f565b6040518082815260200191505060405180910390f35b34801561024b57600080fd5b506102aa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610945565b604051808215151515815260200191505060405180910390f35b3480156102d057600080fd5b506102d9610d53565b6040518082815260200191505060405180910390f35b3480156102fb57600080fd5b50610304610d58565b6040518082815260200191505060405180910390f35b34801561032657600080fd5b5061032f610d5e565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561036f578082015181840152602081019050610354565b50505050905090810190601f16801561039c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103b657600080fd5b506103f5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d97565b604051808381526020018281526020019250505060405180910390f35b34801561041e57600080fd5b50610453600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dd7565b005b34801561046157600080fd5b50610496600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e77565b6040518082815260200191505060405180910390f35b3480156104b857600080fd5b506104c1610ec0565b005b3480156104cf57600080fd5b506104d8610f75565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561052657600080fd5b5061052f610f9b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561056f578082015181840152602081019050610554565b50505050905090810190601f16801561059c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156105b657600080fd5b506105ff600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610fd4565b005b34801561060d57600080fd5b5061064c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110d1565b604051808215151515815260200191505060405180910390f35b34801561067257600080fd5b506106a9600480360381019080803590602001908201803590602001919091929391929390803590602001909291905050506113ca565b005b3480156106b757600080fd5b506106d6600480360381019080803590602001909291905050506114c6565b005b3480156106e457600080fd5b50610739600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611812565b6040518082815260200191505060405180910390f35b34801561075b57600080fd5b50610790600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611899565b005b34801561079e57600080fd5b506107a76119f1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156107f557600080fd5b506107fe611a17565b6040518082815260200191505060405180910390f35b6040805190810160405280600481526020017f464f4d4f0000000000000000000000000000000000000000000000000000000081525081565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60005481565b60008060008060008073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff161415151561098857600080fd5b600560008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209350600092505b8380549050821015610a435783828154811015156109e857fe5b906000526020600020906002020160000154421015610a3657610a338483815481101515610a1257fe5b90600052602060002090600202016001015484611a1d90919063ffffffff16565b92505b81806001019250506109ce565b82610a9687600660008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b10151515610aa357600080fd5b600760008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610b7486600660008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c0986600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c5f8682611a3b90919063ffffffff16565b600760008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508673ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef886040518082815260200191505060405180910390a360019450505050509392505050565b601281565b60045481565b6040805190810160405280600381526020017f312e30000000000000000000000000000000000000000000000000000000000081525081565b600560205281600052604060002081815481101515610db257fe5b9060005260206000209060020201600091509150508060000154908060010154905082565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e3357600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f1c57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f193505050501515610f7357600080fd5b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f464d43000000000000000000000000000000000000000000000000000000000081525081565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561103257600080fd5b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060408051908101604052808481526020018581525090806001815401808255809150509060018203906000526020600020906002020160009091929091909150600082015181600001556020820151816001015550505050505050565b600080600080600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff161415151561111357600080fd5b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209250600091505b82805490508110156111ce57828181548110151561117357fe5b9060005260206000209060020201600001544210156111c1576111be838281548110151561119d57fe5b90600052602060002090600202016001015483611a1d90919063ffffffff16565b91505b8080600101915050611159565b8161122186600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b1015151561122e57600080fd5b61128085600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a3b90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061131585600660008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef876040518082815260200191505060405180910390a36001935050505092915050565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561142957600080fd5b84849050915061143833610e77565b61144b8385611a5490919063ffffffff16565b1115151561145557fe5b600090505b818110156114bf57611496858583818110151561147357fe5b9050602002013573ffffffffffffffffffffffffffffffffffffffff16846110d1565b506114ac83600254611a1d90919063ffffffff16565b600281905550808060010191505061145a565b5050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061156f5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b151561157757fe5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156116d25761161f81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061167781600454611a1d90919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a361180f565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561180e5761177a81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35b5b50565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156118f557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561193157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b6000808284019050838110151515611a3157fe5b8091505092915050565b6000828211151515611a4957fe5b818303905092915050565b6000806000841415611a695760009150611a88565b8284029050828482811515611a7a57fe5b04141515611a8457fe5b8091505b50929150505600a165627a7a7230582065ed5792cd740889b0a4e3cab797bfa5c3d4146fdd1f7dd7103d39fbdbf6fda00029

2239:3827:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2336:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2336:34: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;2336:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5629:187;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5629:187:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;55:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;55:26:0;;;;;;;;;;;;;;;;;;;;;;;4942:680;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4942:680:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2455:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2455:37:0;;;;;;;;;;;;;;;;;;;;;;;2566:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2566:47:0;;;;;;;;;;;;;;;;;;;;;;;2413:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2413:38: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;2413:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2704:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2704:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5977:81;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5977:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4816:117;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4816:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3846:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3846:104:0;;;;;;690:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;690:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2374:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2374:35: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;2374:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3959:186;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3959:186:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4154:655;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4154:655:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3030:346;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3030:346:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3384:412;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3384:412:0;;;;;;;;;;;;;;;;;;;;;;;;;;5823:146;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5823:146:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1314:173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1314:173:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2540:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2540:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2499:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2499:28:0;;;;;;;;;;;;;;;;;;;;;;;2336:34;;;;;;;;;;;;;;;;;;;;:::o;5629:187::-;5696:4;5744:6;5712:7;:19;5720:10;5712:19;;;;;;;;;;;;;;;:29;5732:8;5712:29;;;;;;;;;;;;;;;:38;;;;5776:8;5755:38;;5764:10;5755:38;;;5786:6;5755:38;;;;;;;;;;;;;;;;;;5805:4;5798:11;;5629:187;;;;:::o;55:26::-;;;;:::o;4942:680::-;5024:4;5075:14;5117:23;5153:9;5365:18;5063:1;5048:17;;:3;:17;;;;5040:26;;;;;;;;5092:13;:20;5106:5;5092:20;;;;;;;;;;;;;;;5075:37;;5143:1;5117:27;;5149:152;5165:6;:13;;;;5163:1;:15;5149:152;;;5203:6;5210:1;5203:9;;;;;;;;;;;;;;;;;;;;:17;;;5197:3;:23;5193:103;;;5252:37;5272:6;5279:1;5272:9;;;;;;;;;;;;;;;;;;;;:16;;;5252:15;:19;;:37;;;;:::i;:::-;5234:55;;5193:103;5179:3;;;;;;;5149:152;;;5344:15;5315:27;5335:6;5315:8;:15;5324:5;5315:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;:44;;5307:53;;;;;;;;5386:7;:14;5394:5;5386:14;;;;;;;;;;;;;;;:26;5401:10;5386:26;;;;;;;;;;;;;;;;5365:47;;5437:27;5457:6;5437:8;:15;5446:5;5437:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5419:8;:15;5428:5;5419:15;;;;;;;;;;;;;;;:45;;;;5485:25;5503:6;5485:8;:13;5494:3;5485:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5469:8;:13;5478:3;5469:13;;;;;;;;;;;;;;;:41;;;;5544:22;5559:6;5544:10;:14;;:22;;;;:::i;:::-;5515:7;:14;5523:5;5515:14;;;;;;;;;;;;;;;:26;5530:10;5515:26;;;;;;;;;;;;;;;:51;;;;5587:3;5571:28;;5580:5;5571:28;;;5592:6;5571:28;;;;;;;;;;;;;;;;;;5611:4;5604:11;;4942:680;;;;;;;;;:::o;2455:37::-;2490:2;2455:37;:::o;2566:47::-;;;;:::o;2413:38::-;;;;;;;;;;;;;;;;;;;;:::o;2704:46::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5977:81::-;1125:5;;;;;;;;;;;1111:19;;:10;:19;;;1103:28;;;;;;;;6044:6;6038:5;;:12;;;;;;;;;;;;;;;;;;5977:81;:::o;4816:117::-;4876:15;4910:8;:16;4919:6;4910:16;;;;;;;;;;;;;;;;4903:23;;4816:117;;;:::o;3846:104::-;1125:5;;;;;;;;;;;1111:19;;:10;:19;;;1103:28;;;;;;;;3906:10;:15;;:29;3922:4;:12;;;3906:29;;;;;;;;;;;;;;;;;;;;;;;3905:30;3902:43;;;3937:8;;;3902:43;3846:104::o;690:20::-;;;;;;;;;;;;;:::o;2374:35::-;;;;;;;;;;;;;;;;;;;;:::o;3959:186::-;4056:22;1125:5;;;;;;;;;;;1111:19;;:10;:19;;;1103:28;;;;;;;;4081:13;:19;4095:4;4081:19;;;;;;;;;;;;;;;4056:44;;4106:6;4118:21;;;;;;;;;4124:7;4118:21;;;;4132:6;4118:21;;;4106:34;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;4106:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3959:186;;;;:::o;4154:655::-;4218:4;4287:14;4334:23;4370:9;4255:1;4240:17;;:3;:17;;;;4232:26;;;;;;;;4304:13;:25;4318:10;4304:25;;;;;;;;;;;;;;;4287:42;;4360:1;4334:27;;4366:150;4382:6;:13;;;;4380:1;:15;4366:150;;;4420:6;4427:1;4420:9;;;;;;;;;;;;;;;;;;;;:17;;;4414:3;:23;4410:101;;;4467:37;4487:6;4494:1;4487:9;;;;;;;;;;;;;;;;;;;;:16;;;4467:15;:19;;:37;;;;:::i;:::-;4451:53;;4410:101;4396:3;;;;;;;4366:150;;;4564:15;4530:32;4555:6;4530:8;:20;4539:10;4530:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;:49;;4522:58;;;;;;;;4670:32;4695:6;4670:8;:20;4679:10;4670:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;4647:8;:20;4656:10;4647:20;;;;;;;;;;;;;;;:55;;;;4723:25;4741:6;4723:8;:13;4732:3;4723:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4707:8;:13;4716:3;4707:13;;;;;;;;;;;;;;;:41;;;;4774:3;4753:33;;4762:10;4753:33;;;4779:6;4753:33;;;;;;;;;;;;;;;;;;4798:4;4791:11;;4154:655;;;;;;;:::o;3030:346::-;3123:13;3232:9;1125:5;;;;;;;;;;;1111:19;;:10;:19;;;1103:28;;;;;;;;3139:8;;:15;;3123:31;;3194:21;3204:10;3194:9;:21::i;:::-;3172:18;3184:5;3172:7;:11;;:18;;;;:::i;:::-;:43;;3165:51;;;;;;3244:1;3232:13;;3227:142;3251:5;3247:1;:9;3227:142;;;3278:31;3287:8;;3297:1;3287:12;;;;;;;;;;;;;;;;;3301:7;3278:8;:31::i;:::-;;3331:26;3349:7;3331:13;;:17;;:26;;;;:::i;:::-;3315:13;:42;;;;3258:3;;;;;;;3227:142;;;3030:346;;;;;:::o;3384:412::-;3458:5;;;;;;;;;;;3444:19;;:10;:19;;;:40;;;;3479:5;;;;;;;;;;;3465:19;;:10;:19;;;3444:40;3437:48;;;;;;3507:5;;;;;;;;;;;3493:19;;:10;:19;;;3490:302;;;3542:32;3567:6;3542:8;:20;3551:10;3542:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3519:8;:20;3528:10;3519:20;;;;;;;;;;;;;;;:55;;;;3591:22;3606:6;3591:10;;:14;;:22;;;;:::i;:::-;3580:10;:33;;;;3633:10;3619:33;;3628:3;3619:33;3645:6;3619:33;;;;;;;;;;;;;;;;;;3490:302;;;3680:5;;;;;;;;;;;3666:19;;:10;:19;;;3663:129;;;3715:32;3740:6;3715:8;:20;3724:10;3715:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3692:8;:20;3701:10;3692:20;;;;;;;;;;;;;;;:55;;;;3767:10;3753:33;;3762:3;3753:33;3779:6;3753:33;;;;;;;;;;;;;;;;;;3663:129;3490:302;3384:412;:::o;5823:146::-;5901:17;5937:7;:15;5945:6;5937:15;;;;;;;;;;;;;;;:25;5953:8;5937:25;;;;;;;;;;;;;;;;5930:32;;5823:146;;;;:::o;1314:173::-;1125:5;;;;;;;;;;;1111:19;;:10;:19;;;1103:28;;;;;;;;1411:1;1391:22;;:8;:22;;;;1383:31;;;;;;;;1449:8;1421:37;;1442:5;;;;;;;;;;;1421:37;;;;;;;;;;;;1473:8;1465:5;;:16;;;;;;;;;;;;;;;;;;1314:173;:::o;2540:20::-;;;;;;;;;;;;;:::o;2499:28::-;;;;:::o;2099:133::-;2157:7;2173:9;2189:1;2185;:5;2173:17;;2209:1;2204;:6;;2197:14;;;;;;2225:1;2218:8;;2099:133;;;;;:::o;1980:113::-;2038:7;2066:1;2061;:6;;2054:14;;;;;;2086:1;2082;:5;2075:12;;1980:113;;;;:::o;1518:180::-;1576:7;1635:9;1601:1;1596;:6;1592:37;;;1620:1;1613:8;;;;1592:37;1651:1;1647;:5;1635:17;;1675:1;1670;1666;:5;;;;;;;;:10;1659:18;;;;;;1691:1;1684:8;;1518:180;;;;;;:::o

bzzr://65ed5792cd740889b0a4e3cab797bfa5c3d4146fdd1f7dd7103d39fbdbf6fda0