Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
        c = a + b;
        require(c >= a);
    }
    function sub(uint256 a, uint256 b) internal pure returns (uint256 c) {
        require(b <= a);
        c = a - b;
    }
    function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
        c = a * b;
        require(a == 0 || c / a == b);
    }
    function div(uint256 a, uint256 b) internal pure returns (uint256 c) {
        require(b > 0);
        c = a / b;
    }
}

contract ERC20Interface {
    function totalSupply() public view returns (uint256);
    function balanceOf(address tokenOwner) public view returns (uint256 balance);
    function allowance(address tokenOwner, address spender) public view returns (uint256 remaining);
    function transfer(address to, uint256 value) public returns (bool success);
    function approve(address spender, uint256 value) public returns (bool success);
    function transferFrom(address from, address to, uint256 value) public returns (bool success);

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed tokenOwner, address indexed spender, uint256 value);
}

contract ArtemisFinance is ERC20Interface {
    using SafeMath for uint256;
    string public symbol;
    string public name;
    uint8 public decimals;
    uint256 _totalSupply;
    address public owner;
    bool public activeStatus = true;

    event Active(address msgSender);
    event Reset(address msgSender);
    event Burn(address indexed from, uint256 value);
    event Freeze(address indexed from, uint256 value);
    event Unfreeze(address indexed from, uint256 value);

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

    constructor() public {
        symbol = "ARS";
        name = "ArtemisFinance";
        decimals = 18;
        _totalSupply = 100000000 * 10**uint(decimals);
        owner = msg.sender;
        balances[owner] = _totalSupply;
        emit Transfer(address(0), owner, _totalSupply);
    }

    function isOwner(address add) public view returns (bool) {
      if (add == owner) {
        return true;
      } else return false;
    }

    modifier onlyOwner {
    if (!isOwner(msg.sender)) {
            revert();
         }
    _;
    }

    modifier onlyActive {
     if (!activeStatus) {
            revert();
        }
    _;
    }

    function activeMode() public onlyOwner {
        activeStatus = true;
        emit Active(msg.sender);
    }

    function resetMode() public onlyOwner {
        activeStatus = false;
        emit Reset(msg.sender);
    }

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

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

    function allowance(address tokenOwner, address spender) public view returns (uint256 remaining) {
        return allowed[tokenOwner][spender];
    }

    function transfer(address to, uint256 value) public onlyActive returns (bool success) {
        if (to == address(0)) {
            revert();
        }
    	if (value <= 0) {
    		revert();
        }
        if (balances[msg.sender] < value) {
            revert();
        }
        balances[msg.sender] = balances[msg.sender].sub(value);
        balances[to] = balances[to].add(value);
        emit Transfer(msg.sender, to, value);
        return true;
    }

    function approve(address spender, uint256 value) public onlyActive returns (bool success) {
        if (value <= 0) {
            revert();
        }
        allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) public onlyActive returns (bool success) {
        if (to == address(0)) {
            revert();
        }
        if (value <= 0) {
            revert();
        }
        if (balances[from] < value) {
            revert();
        }
        if (value > allowed[from][msg.sender]) {
            revert();
        }
        balances[from] = balances[from].sub(value);
        allowed[from][msg.sender] = allowed[from][msg.sender].sub(value);
        balances[to] = balances[to].add(value);
        emit Transfer(from, to, value);
        return true;
    }

    function burn(uint256 value) public onlyActive returns (bool success) {
        if (balances[msg.sender] < value) {
            revert();
        }
		if (value <= 0) {
		    revert();
		}
        balances[msg.sender] = balances[msg.sender].sub(value);
        _totalSupply = _totalSupply.sub(value);
        emit Burn(msg.sender, value);
        return true;
    }

	function freeze(uint256 value) public onlyActive returns (bool success) {
        if (balances[msg.sender] < value) {
            revert();
        }
		if (value <= 0){
		    revert();
		}
        balances[msg.sender] = balances[msg.sender].sub(value);
        freezeOf[msg.sender] = freezeOf[msg.sender].add(value);
        emit Freeze(msg.sender, value);
        return true;
    }

	function unfreeze(uint256 value) public onlyActive returns (bool success) {
        if (freezeOf[msg.sender] < value) {
            revert();
        }
		if (value <= 0) {
		    revert();
		}
        freezeOf[msg.sender] = freezeOf[msg.sender].sub(value);
		balances[msg.sender] = balances[msg.sender].add(value);
        emit Unfreeze(msg.sender, value);
        return true;
    }

    function () external payable {
        revert();
    }
}

• 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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balances","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"add","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"unfreeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","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":"activeStatus","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"activeMode","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"freeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"resetMode","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"msgSender","type":"address"}],"name":"Active","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"msgSender","type":"address"}],"name":"Reset","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unfreeze","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"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526001600460146101000a81548160ff0219169083151502179055503480156200002c57600080fd5b506040805190810160405280600381526020017f4152530000000000000000000000000000000000000000000000000000000000815250600090805190602001906200007a92919062000240565b506040805190810160405280600e81526020017f417274656d697346696e616e636500000000000000000000000000000000000081525060019080519060200190620000c892919062000240565b506012600260006101000a81548160ff021916908360ff160217905550600260009054906101000a900460ff1660ff16600a0a6305f5e1000260038190555033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060035460056000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a3620002ef565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200028357805160ff1916838001178555620002b4565b82800160010185558215620002b4579182015b82811115620002b357825182559160200191906001019062000296565b5b509050620002c39190620002c7565b5090565b620002ec91905b80821115620002e8576000816000905550600101620002ce565b5090565b90565b6119c580620002ff6000396000f3fe608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a757806318160ddd1461021a57806323b872dd1461024557806327e235e3146102d85780632f54bf6e1461033d578063313ce567146103a657806342966c68146103d75780635c6581651461042a5780636623fc46146104af57806370a08231146105025780638da5cb5b1461056757806393458030146105be57806395d89b41146105ed57806398e4d6711461067d578063a9059cbb14610694578063cd4217c114610707578063d7a78db81461076c578063dd62ed3e146107bf578063e36c62a214610844575b600080fd5b34801561012357600080fd5b5061012c61085b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b50610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108f9565b604051808215151515815260200191505060405180910390f35b34801561022657600080fd5b5061022f610a15565b6040518082815260200191505060405180910390f35b34801561025157600080fd5b506102be6004803603606081101561026857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a1f565b604051808215151515815260200191505060405180910390f35b3480156102e457600080fd5b50610327600480360360208110156102fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e03565b6040518082815260200191505060405180910390f35b34801561034957600080fd5b5061038c6004803603602081101561036057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1b565b604051808215151515815260200191505060405180910390f35b3480156103b257600080fd5b506103bb610e86565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e357600080fd5b50610410600480360360208110156103fa57600080fd5b8101908080359060200190929190505050610e99565b604051808215151515815260200191505060405180910390f35b34801561043657600080fd5b506104996004803603604081101561044d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611018565b6040518082815260200191505060405180910390f35b3480156104bb57600080fd5b506104e8600480360360208110156104d257600080fd5b810190808035906020019092919050505061103d565b604051808215151515815260200191505060405180910390f35b34801561050e57600080fd5b506105516004803603602081101561052557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611236565b6040518082815260200191505060405180910390f35b34801561057357600080fd5b5061057c61127f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ca57600080fd5b506105d36112a5565b604051808215151515815260200191505060405180910390f35b3480156105f957600080fd5b506106026112b8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610642578082015181840152602081019050610627565b50505050905090810190601f16801561066f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068957600080fd5b50610692611356565b005b3480156106a057600080fd5b506106ed600480360360408110156106b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113ea565b604051808215151515815260200191505060405180910390f35b34801561071357600080fd5b506107566004803603602081101561072a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611635565b6040518082815260200191505060405180910390f35b34801561077857600080fd5b506107a56004803603602081101561078f57600080fd5b810190808035906020019092919050505061164d565b604051808215151515815260200191505060405180910390f35b3480156107cb57600080fd5b5061082e600480360360408110156107e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611846565b6040518082815260200191505060405180910390f35b34801561085057600080fd5b506108596118cd565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108f15780601f106108c6576101008083540402835291602001916108f1565b820191906000526020600020905b8154815290600101906020018083116108d457829003601f168201915b505050505081565b6000600460149054906101000a900460ff16151561091657600080fd5b60008211151561092557600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff161515610a3c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a7657600080fd5b600082111515610a8557600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ad157600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b5a57600080fd5b610bac82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e7c5760019050610e81565b600090505b919050565b600260009054906101000a900460ff1681565b6000600460149054906101000a900460ff161515610eb657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f0257600080fd5b600082111515610f1157600080fd5b610f6382600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbb8260035461196190919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16151561105a57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110a657600080fd5b6000821115156110b557600080fd5b61110782600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561134e5780601f106113235761010080835404028352916020019161134e565b820191906000526020600020905b81548152906001019060200180831161133157829003601f168201915b505050505081565b61135f33610e1b565b151561136a57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff16151561140757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561144157600080fd5b60008211151561145057600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561149c57600080fd5b6114ee82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061158382600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff16151561166a57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156116b657600080fd5b6000821115156116c557600080fd5b61171782600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117ac82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6118d633610e1b565b15156118e157600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600082821115151561197257600080fd5b818303905092915050565b6000818301905082811015151561199357600080fd5b9291505056fea165627a7a7230582042b4b2c8730413688147103a684b42e21e5034ce3b975bff84f3264cc6ae72a40029

0x608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a757806318160ddd1461021a57806323b872dd1461024557806327e235e3146102d85780632f54bf6e1461033d578063313ce567146103a657806342966c68146103d75780635c6581651461042a5780636623fc46146104af57806370a08231146105025780638da5cb5b1461056757806393458030146105be57806395d89b41146105ed57806398e4d6711461067d578063a9059cbb14610694578063cd4217c114610707578063d7a78db81461076c578063dd62ed3e146107bf578063e36c62a214610844575b600080fd5b34801561012357600080fd5b5061012c61085b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b50610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108f9565b604051808215151515815260200191505060405180910390f35b34801561022657600080fd5b5061022f610a15565b6040518082815260200191505060405180910390f35b34801561025157600080fd5b506102be6004803603606081101561026857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a1f565b604051808215151515815260200191505060405180910390f35b3480156102e457600080fd5b50610327600480360360208110156102fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e03565b6040518082815260200191505060405180910390f35b34801561034957600080fd5b5061038c6004803603602081101561036057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1b565b604051808215151515815260200191505060405180910390f35b3480156103b257600080fd5b506103bb610e86565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e357600080fd5b50610410600480360360208110156103fa57600080fd5b8101908080359060200190929190505050610e99565b604051808215151515815260200191505060405180910390f35b34801561043657600080fd5b506104996004803603604081101561044d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611018565b6040518082815260200191505060405180910390f35b3480156104bb57600080fd5b506104e8600480360360208110156104d257600080fd5b810190808035906020019092919050505061103d565b604051808215151515815260200191505060405180910390f35b34801561050e57600080fd5b506105516004803603602081101561052557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611236565b6040518082815260200191505060405180910390f35b34801561057357600080fd5b5061057c61127f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ca57600080fd5b506105d36112a5565b604051808215151515815260200191505060405180910390f35b3480156105f957600080fd5b506106026112b8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610642578082015181840152602081019050610627565b50505050905090810190601f16801561066f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068957600080fd5b50610692611356565b005b3480156106a057600080fd5b506106ed600480360360408110156106b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113ea565b604051808215151515815260200191505060405180910390f35b34801561071357600080fd5b506107566004803603602081101561072a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611635565b6040518082815260200191505060405180910390f35b34801561077857600080fd5b506107a56004803603602081101561078f57600080fd5b810190808035906020019092919050505061164d565b604051808215151515815260200191505060405180910390f35b3480156107cb57600080fd5b5061082e600480360360408110156107e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611846565b6040518082815260200191505060405180910390f35b34801561085057600080fd5b506108596118cd565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108f15780601f106108c6576101008083540402835291602001916108f1565b820191906000526020600020905b8154815290600101906020018083116108d457829003601f168201915b505050505081565b6000600460149054906101000a900460ff16151561091657600080fd5b60008211151561092557600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff161515610a3c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a7657600080fd5b600082111515610a8557600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ad157600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b5a57600080fd5b610bac82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e7c5760019050610e81565b600090505b919050565b600260009054906101000a900460ff1681565b6000600460149054906101000a900460ff161515610eb657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f0257600080fd5b600082111515610f1157600080fd5b610f6382600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbb8260035461196190919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16151561105a57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110a657600080fd5b6000821115156110b557600080fd5b61110782600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561134e5780601f106113235761010080835404028352916020019161134e565b820191906000526020600020905b81548152906001019060200180831161133157829003601f168201915b505050505081565b61135f33610e1b565b151561136a57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff16151561140757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561144157600080fd5b60008211151561145057600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561149c57600080fd5b6114ee82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061158382600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff16151561166a57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156116b657600080fd5b6000821115156116c557600080fd5b61171782600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117ac82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6118d633610e1b565b15156118e157600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600082821115151561197257600080fd5b818303905092915050565b6000818301905082811015151561199357600080fd5b9291505056fea165627a7a7230582042b4b2c8730413688147103a684b42e21e5034ce3b975bff84f3264cc6ae72a40029

1291:4621:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5893:8;;;1400:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1400:18: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;1400:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3740:280;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3740:280:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3740:280:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2869:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2869:91:0;;;;;;;;;;;;;;;;;;;;;;;4028:637;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4028:637:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4028:637:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1792:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1792:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1792:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2266:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2266:142:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2266:142:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1425:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1425:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4673:375;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4673:375:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4673:375:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1892:62;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1892:62:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1892:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5452:393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5452:393:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5452:393:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2968:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2968:123:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2968:123:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1480:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1480:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1507:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1507:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1373:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1373:20: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;1373:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2632:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2632:111:0;;;;;;3257:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3257:475:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3257:475:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1842:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1842:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1842:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5053:394;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5053:394:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5053:394:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3099:150;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3099:150:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3099:150:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2751:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2751:110:0;;;;;;1400:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3740:280::-;3816:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;3854:1;3845:5;:10;;3841:51;;;3872:8;;;3841:51;3933:5;3902:7;:19;3910:10;3902:19;;;;;;;;;;;;;;;:28;3922:7;3902:28;;;;;;;;;;;;;;;:36;;;;3975:7;3954:36;;3963:10;3954:36;;;3984:5;3954:36;;;;;;;;;;;;;;;;;;4008:4;4001:11;;3740:280;;;;:::o;2869:91::-;2913:7;2940:12;;2933:19;;2869:91;:::o;4028:637::-;4118:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;4161:1;4147:16;;:2;:16;;;4143:57;;;4180:8;;;4143:57;4223:1;4214:5;:10;;4210:51;;;4241:8;;;4210:51;4292:5;4275:8;:14;4284:4;4275:14;;;;;;;;;;;;;;;;:22;4271:63;;;4314:8;;;4271:63;4356:7;:13;4364:4;4356:13;;;;;;;;;;;;;;;:25;4370:10;4356:25;;;;;;;;;;;;;;;;4348:5;:33;4344:74;;;4398:8;;;4344:74;4445:25;4464:5;4445:8;:14;4454:4;4445:14;;;;;;;;;;;;;;;;:18;;:25;;;;:::i;:::-;4428:8;:14;4437:4;4428:14;;;;;;;;;;;;;;;:42;;;;4509:36;4539:5;4509:7;:13;4517:4;4509:13;;;;;;;;;;;;;;;:25;4523:10;4509:25;;;;;;;;;;;;;;;;:29;;:36;;;;:::i;:::-;4481:7;:13;4489:4;4481:13;;;;;;;;;;;;;;;:25;4495:10;4481:25;;;;;;;;;;;;;;;:64;;;;4571:23;4588:5;4571:8;:12;4580:2;4571:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;4556:8;:12;4565:2;4556:12;;;;;;;;;;;;;;;:38;;;;4625:2;4610:25;;4619:4;4610:25;;;4629:5;4610:25;;;;;;;;;;;;;;;;;;4653:4;4646:11;;4028:637;;;;;:::o;1792:43::-;;;;;;;;;;;;;;;;;:::o;2266:142::-;2317:4;2343:5;;;;;;;;;;;2336:12;;:3;:12;;;2332:68;;;2368:4;2361:11;;;;2332:68;2395:5;2388:12;;2266:142;;;;:::o;1425:21::-;;;;;;;;;;;;;:::o;4673:375::-;4729:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;4781:5;4758:8;:20;4767:10;4758:20;;;;;;;;;;;;;;;;:28;4754:69;;;4803:8;;;4754:69;4840:1;4831:5;:10;;4827:39;;;4852:8;;;4827:39;4899:31;4924:5;4899:8;:20;4908:10;4899:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;4876:8;:20;4885:10;4876:20;;;;;;;;;;;;;;;:54;;;;4956:23;4973:5;4956:12;;:16;;:23;;;;:::i;:::-;4941:12;:38;;;;5000:10;4995:23;;;5012:5;4995:23;;;;;;;;;;;;;;;;;;5036:4;5029:11;;4673:375;;;:::o;1892:62::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5452:393::-;5512:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;5564:5;5541:8;:20;5550:10;5541:20;;;;;;;;;;;;;;;;:28;5537:69;;;5586:8;;;5537:69;5623:1;5614:5;:10;;5610:39;;;5635:8;;;5610:39;5682:31;5707:5;5682:8;:20;5691:10;5682:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5659:8;:20;5668:10;5659:20;;;;;;;;;;;;;;;:54;;;;5741:31;5766:5;5741:8;:20;5750:10;5741:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5718:8;:20;5727:10;5718:20;;;;;;;;;;;;;;;:54;;;;5797:10;5788:27;;;5809:5;5788:27;;;;;;;;;;;;;;;;;;5833:4;5826:11;;5452:393;;;:::o;2968:123::-;3028:15;3063:8;:20;3072:10;3063:20;;;;;;;;;;;;;;;;3056:27;;2968:123;;;:::o;1480:20::-;;;;;;;;;;;;;:::o;1507:31::-;;;;;;;;;;;;;:::o;1373:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2632:111::-;2447:19;2455:10;2447:7;:19::i;:::-;2446:20;2442:62;;;2483:8;;;2442:62;2697:4;2682:12;;:19;;;;;;;;;;;;;;;;;;2717:18;2724:10;2717:18;;;;;;;;;;;;;;;;;;;;;;2632:111::o;3257:475::-;3329:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;3372:1;3358:16;;:2;:16;;;3354:57;;;3391:8;;;3354:57;3431:1;3422:5;:10;;3418:45;;;3443:8;;;3418:45;3500:5;3477:8;:20;3486:10;3477:20;;;;;;;;;;;;;;;;:28;3473:69;;;3522:8;;;3473:69;3575:31;3600:5;3575:8;:20;3584:10;3575:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;3552:8;:20;3561:10;3552:20;;;;;;;;;;;;;;;:54;;;;3632:23;3649:5;3632:8;:12;3641:2;3632:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;3617:8;:12;3626:2;3617:12;;;;;;;;;;;;;;;:38;;;;3692:2;3671:31;;3680:10;3671:31;;;3696:5;3671:31;;;;;;;;;;;;;;;;;;3720:4;3713:11;;3257:475;;;;:::o;1842:43::-;;;;;;;;;;;;;;;;;:::o;5053:394::-;5111:12;2560;;;;;;;;;;;2559:13;2555:54;;;2589:8;;;2555:54;5163:5;5140:8;:20;5149:10;5140:20;;;;;;;;;;;;;;;;:28;5136:69;;;5185:8;;;5136:69;5222:1;5213:5;:10;;5209:38;;;5233:8;;;5209:38;5280:31;5305:5;5280:8;:20;5289:10;5280:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5257:8;:20;5266:10;5257:20;;;;;;;;;;;;;;;:54;;;;5345:31;5370:5;5345:8;:20;5354:10;5345:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5322:8;:20;5331:10;5322:20;;;;;;;;;;;;;;;:54;;;;5399:10;5392:25;;;5411:5;5392:25;;;;;;;;;;;;;;;;;;5435:4;5428:11;;5053:394;;;:::o;3099:150::-;3176:17;3213:7;:19;3221:10;3213:19;;;;;;;;;;;;;;;:28;3233:7;3213:28;;;;;;;;;;;;;;;;3206:35;;3099:150;;;;:::o;2751:110::-;2447:19;2455:10;2447:7;:19::i;:::-;2446:20;2442:62;;;2483:8;;;2442:62;2815:5;2800:12;;:20;;;;;;;;;;;;;;;;;;2836:17;2842:10;2836:17;;;;;;;;;;;;;;;;;;;;;;2751:110::o;180:123::-;238:9;273:1;268;:6;;260:15;;;;;;;;294:1;290;:5;286:9;;180:123;;;;:::o;51:::-;109:9;139:1;135;:5;131:9;;164:1;159;:6;;151:15;;;;;;;;51:123;;;;:::o

bzzr://42b4b2c8730413688147103a684b42e21e5034ce3b975bff84f3264cc6ae72a4