Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)  contract ERC20Interface    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract GateChainToken is ERC20In ... *    - function isOwner(address add)    - function activeMode()    - function resetMode()    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function allowance(address tokenOwner ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function burn(uint256 value)    - function freeze(uint256 value)    - function unfreeze(uint256 value)    - function ()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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 GateChainToken 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 = "GT";
        name = "GateChainToken";
        decimals = 18;
        _totalSupply = 300000000 * 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();
    }
}

• Hacken - Mar 4th, 2022 - Security Audit Report

[{"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"}]

60806040526001600460146101000a81548160ff0219169083151502179055503480156200002c57600080fd5b506040805190810160405280600281526020017f4754000000000000000000000000000000000000000000000000000000000000815250600090805190602001906200007a92919062000240565b506040805190810160405280600e81526020017f47617465436861696e546f6b656e00000000000000000000000000000000000081525060019080519060200190620000c892919062000240565b506012600260006101000a81548160ff021916908360ff160217905550600260009054906101000a900460ff1660ff16600a0a6311e1a3000260038190555033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060035460056000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a3620002ef565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200028357805160ff1916838001178555620002b4565b82800160010185558215620002b4579182015b82811115620002b357825182559160200191906001019062000296565b5b509050620002c39190620002c7565b5090565b620002ec91905b80821115620002e8576000816000905550600101620002ce565b5090565b90565b6119c580620002ff6000396000f3fe608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a757806318160ddd1461021a57806323b872dd1461024557806327e235e3146102d85780632f54bf6e1461033d578063313ce567146103a657806342966c68146103d75780635c6581651461042a5780636623fc46146104af57806370a08231146105025780638da5cb5b1461056757806393458030146105be57806395d89b41146105ed57806398e4d6711461067d578063a9059cbb14610694578063cd4217c114610707578063d7a78db81461076c578063dd62ed3e146107bf578063e36c62a214610844575b600080fd5b34801561012357600080fd5b5061012c61085b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b50610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108f9565b604051808215151515815260200191505060405180910390f35b34801561022657600080fd5b5061022f610a15565b6040518082815260200191505060405180910390f35b34801561025157600080fd5b506102be6004803603606081101561026857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a1f565b604051808215151515815260200191505060405180910390f35b3480156102e457600080fd5b50610327600480360360208110156102fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e03565b6040518082815260200191505060405180910390f35b34801561034957600080fd5b5061038c6004803603602081101561036057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1b565b604051808215151515815260200191505060405180910390f35b3480156103b257600080fd5b506103bb610e86565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e357600080fd5b50610410600480360360208110156103fa57600080fd5b8101908080359060200190929190505050610e99565b604051808215151515815260200191505060405180910390f35b34801561043657600080fd5b506104996004803603604081101561044d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611018565b6040518082815260200191505060405180910390f35b3480156104bb57600080fd5b506104e8600480360360208110156104d257600080fd5b810190808035906020019092919050505061103d565b604051808215151515815260200191505060405180910390f35b34801561050e57600080fd5b506105516004803603602081101561052557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611236565b6040518082815260200191505060405180910390f35b34801561057357600080fd5b5061057c61127f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ca57600080fd5b506105d36112a5565b604051808215151515815260200191505060405180910390f35b3480156105f957600080fd5b506106026112b8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610642578082015181840152602081019050610627565b50505050905090810190601f16801561066f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068957600080fd5b50610692611356565b005b3480156106a057600080fd5b506106ed600480360360408110156106b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113ea565b604051808215151515815260200191505060405180910390f35b34801561071357600080fd5b506107566004803603602081101561072a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611635565b6040518082815260200191505060405180910390f35b34801561077857600080fd5b506107a56004803603602081101561078f57600080fd5b810190808035906020019092919050505061164d565b604051808215151515815260200191505060405180910390f35b3480156107cb57600080fd5b5061082e600480360360408110156107e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611846565b6040518082815260200191505060405180910390f35b34801561085057600080fd5b506108596118cd565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108f15780601f106108c6576101008083540402835291602001916108f1565b820191906000526020600020905b8154815290600101906020018083116108d457829003601f168201915b505050505081565b6000600460149054906101000a900460ff16151561091657600080fd5b60008211151561092557600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff161515610a3c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a7657600080fd5b600082111515610a8557600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ad157600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b5a57600080fd5b610bac82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e7c5760019050610e81565b600090505b919050565b600260009054906101000a900460ff1681565b6000600460149054906101000a900460ff161515610eb657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f0257600080fd5b600082111515610f1157600080fd5b610f6382600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbb8260035461196190919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16151561105a57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110a657600080fd5b6000821115156110b557600080fd5b61110782600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561134e5780601f106113235761010080835404028352916020019161134e565b820191906000526020600020905b81548152906001019060200180831161133157829003601f168201915b505050505081565b61135f33610e1b565b151561136a57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff16151561140757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561144157600080fd5b60008211151561145057600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561149c57600080fd5b6114ee82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061158382600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff16151561166a57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156116b657600080fd5b6000821115156116c557600080fd5b61171782600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117ac82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6118d633610e1b565b15156118e157600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600082821115151561197257600080fd5b818303905092915050565b6000818301905082811015151561199357600080fd5b9291505056fea165627a7a723058203376b5fb9cb619b95708cf99dfc17bb9e5743146a58d73211406e16dd71846ba0029

0x608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a757806318160ddd1461021a57806323b872dd1461024557806327e235e3146102d85780632f54bf6e1461033d578063313ce567146103a657806342966c68146103d75780635c6581651461042a5780636623fc46146104af57806370a08231146105025780638da5cb5b1461056757806393458030146105be57806395d89b41146105ed57806398e4d6711461067d578063a9059cbb14610694578063cd4217c114610707578063d7a78db81461076c578063dd62ed3e146107bf578063e36c62a214610844575b600080fd5b34801561012357600080fd5b5061012c61085b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b50610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108f9565b604051808215151515815260200191505060405180910390f35b34801561022657600080fd5b5061022f610a15565b6040518082815260200191505060405180910390f35b34801561025157600080fd5b506102be6004803603606081101561026857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a1f565b604051808215151515815260200191505060405180910390f35b3480156102e457600080fd5b50610327600480360360208110156102fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e03565b6040518082815260200191505060405180910390f35b34801561034957600080fd5b5061038c6004803603602081101561036057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1b565b604051808215151515815260200191505060405180910390f35b3480156103b257600080fd5b506103bb610e86565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e357600080fd5b50610410600480360360208110156103fa57600080fd5b8101908080359060200190929190505050610e99565b604051808215151515815260200191505060405180910390f35b34801561043657600080fd5b506104996004803603604081101561044d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611018565b6040518082815260200191505060405180910390f35b3480156104bb57600080fd5b506104e8600480360360208110156104d257600080fd5b810190808035906020019092919050505061103d565b604051808215151515815260200191505060405180910390f35b34801561050e57600080fd5b506105516004803603602081101561052557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611236565b6040518082815260200191505060405180910390f35b34801561057357600080fd5b5061057c61127f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105ca57600080fd5b506105d36112a5565b604051808215151515815260200191505060405180910390f35b3480156105f957600080fd5b506106026112b8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610642578082015181840152602081019050610627565b50505050905090810190601f16801561066f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068957600080fd5b50610692611356565b005b3480156106a057600080fd5b506106ed600480360360408110156106b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113ea565b604051808215151515815260200191505060405180910390f35b34801561071357600080fd5b506107566004803603602081101561072a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611635565b6040518082815260200191505060405180910390f35b34801561077857600080fd5b506107a56004803603602081101561078f57600080fd5b810190808035906020019092919050505061164d565b604051808215151515815260200191505060405180910390f35b3480156107cb57600080fd5b5061082e600480360360408110156107e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611846565b6040518082815260200191505060405180910390f35b34801561085057600080fd5b506108596118cd565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108f15780601f106108c6576101008083540402835291602001916108f1565b820191906000526020600020905b8154815290600101906020018083116108d457829003601f168201915b505050505081565b6000600460149054906101000a900460ff16151561091657600080fd5b60008211151561092557600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff161515610a3c57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a7657600080fd5b600082111515610a8557600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ad157600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b5a57600080fd5b610bac82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c7e82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5082600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e7c5760019050610e81565b600090505b919050565b600260009054906101000a900460ff1681565b6000600460149054906101000a900460ff161515610eb657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f0257600080fd5b600082111515610f1157600080fd5b610f6382600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbb8260035461196190919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16151561105a57600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156110a657600080fd5b6000821115156110b557600080fd5b61110782600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061119c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561134e5780601f106113235761010080835404028352916020019161134e565b820191906000526020600020905b81548152906001019060200180831161133157829003601f168201915b505050505081565b61135f33610e1b565b151561136a57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff16151561140757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561144157600080fd5b60008211151561145057600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561149c57600080fd5b6114ee82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061158382600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff16151561166a57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156116b657600080fd5b6000821115156116c557600080fd5b61171782600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461196190919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117ac82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197d90919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6118d633610e1b565b15156118e157600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b600082821115151561197257600080fd5b818303905092915050565b6000818301905082811015151561199357600080fd5b9291505056fea165627a7a723058203376b5fb9cb619b95708cf99dfc17bb9e5743146a58d73211406e16dd71846ba0029

1291:4620:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5892: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3739:280;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3739:280:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3739:280:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2868:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2868:91:0;;;;;;;;;;;;;;;;;;;;;;;4027:637;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4027:637:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4027: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2265:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2265:142:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2265:142:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1425:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1425:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4672:375;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4672:375:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4672: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5451:393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5451:393:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5451:393:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2967:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2967:123:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2967: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2631:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2631:111:0;;;;;;3256:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3256:475:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3256: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5052:394;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5052:394:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5052:394:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3098:150;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3098:150:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3098:150:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2750:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2750:110:0;;;;;;1400:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3739:280::-;3815:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;3853:1;3844:5;:10;;3840:51;;;3871:8;;;3840:51;3932:5;3901:7;:19;3909:10;3901:19;;;;;;;;;;;;;;;:28;3921:7;3901:28;;;;;;;;;;;;;;;:36;;;;3974:7;3953:36;;3962:10;3953:36;;;3983:5;3953:36;;;;;;;;;;;;;;;;;;4007:4;4000:11;;3739:280;;;;:::o;2868:91::-;2912:7;2939:12;;2932:19;;2868:91;:::o;4027:637::-;4117:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;4160:1;4146:16;;:2;:16;;;4142:57;;;4179:8;;;4142:57;4222:1;4213:5;:10;;4209:51;;;4240:8;;;4209:51;4291:5;4274:8;:14;4283:4;4274:14;;;;;;;;;;;;;;;;:22;4270:63;;;4313:8;;;4270:63;4355:7;:13;4363:4;4355:13;;;;;;;;;;;;;;;:25;4369:10;4355:25;;;;;;;;;;;;;;;;4347:5;:33;4343:74;;;4397:8;;;4343:74;4444:25;4463:5;4444:8;:14;4453:4;4444:14;;;;;;;;;;;;;;;;:18;;:25;;;;:::i;:::-;4427:8;:14;4436:4;4427:14;;;;;;;;;;;;;;;:42;;;;4508:36;4538:5;4508:7;:13;4516:4;4508:13;;;;;;;;;;;;;;;:25;4522:10;4508:25;;;;;;;;;;;;;;;;:29;;:36;;;;:::i;:::-;4480:7;:13;4488:4;4480:13;;;;;;;;;;;;;;;:25;4494:10;4480:25;;;;;;;;;;;;;;;:64;;;;4570:23;4587:5;4570:8;:12;4579:2;4570:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;4555:8;:12;4564:2;4555:12;;;;;;;;;;;;;;;:38;;;;4624:2;4609:25;;4618:4;4609:25;;;4628:5;4609:25;;;;;;;;;;;;;;;;;;4652:4;4645:11;;4027:637;;;;;:::o;1792:43::-;;;;;;;;;;;;;;;;;:::o;2265:142::-;2316:4;2342:5;;;;;;;;;;;2335:12;;:3;:12;;;2331:68;;;2367:4;2360:11;;;;2331:68;2394:5;2387:12;;2265:142;;;;:::o;1425:21::-;;;;;;;;;;;;;:::o;4672:375::-;4728:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;4780:5;4757:8;:20;4766:10;4757:20;;;;;;;;;;;;;;;;:28;4753:69;;;4802:8;;;4753:69;4839:1;4830:5;:10;;4826:39;;;4851:8;;;4826:39;4898:31;4923:5;4898:8;:20;4907:10;4898:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;4875:8;:20;4884:10;4875:20;;;;;;;;;;;;;;;:54;;;;4955:23;4972:5;4955:12;;:16;;:23;;;;:::i;:::-;4940:12;:38;;;;4999:10;4994:23;;;5011:5;4994:23;;;;;;;;;;;;;;;;;;5035:4;5028:11;;4672:375;;;:::o;1892:62::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5451:393::-;5511:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;5563:5;5540:8;:20;5549:10;5540:20;;;;;;;;;;;;;;;;:28;5536:69;;;5585:8;;;5536:69;5622:1;5613:5;:10;;5609:39;;;5634:8;;;5609:39;5681:31;5706:5;5681:8;:20;5690:10;5681:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5658:8;:20;5667:10;5658:20;;;;;;;;;;;;;;;:54;;;;5740:31;5765:5;5740:8;:20;5749:10;5740:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5717:8;:20;5726:10;5717:20;;;;;;;;;;;;;;;:54;;;;5796:10;5787:27;;;5808:5;5787:27;;;;;;;;;;;;;;;;;;5832:4;5825:11;;5451:393;;;:::o;2967:123::-;3027:15;3062:8;:20;3071:10;3062:20;;;;;;;;;;;;;;;;3055:27;;2967:123;;;:::o;1480:20::-;;;;;;;;;;;;;:::o;1507:31::-;;;;;;;;;;;;;:::o;1373:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2631:111::-;2446:19;2454:10;2446:7;:19::i;:::-;2445:20;2441:62;;;2482:8;;;2441:62;2696:4;2681:12;;:19;;;;;;;;;;;;;;;;;;2716:18;2723:10;2716:18;;;;;;;;;;;;;;;;;;;;;;2631:111::o;3256:475::-;3328:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;3371:1;3357:16;;:2;:16;;;3353:57;;;3390:8;;;3353:57;3430:1;3421:5;:10;;3417:45;;;3442:8;;;3417:45;3499:5;3476:8;:20;3485:10;3476:20;;;;;;;;;;;;;;;;:28;3472:69;;;3521:8;;;3472:69;3574:31;3599:5;3574:8;:20;3583:10;3574:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;3551:8;:20;3560:10;3551:20;;;;;;;;;;;;;;;:54;;;;3631:23;3648:5;3631:8;:12;3640:2;3631:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;3616:8;:12;3625:2;3616:12;;;;;;;;;;;;;;;:38;;;;3691:2;3670:31;;3679:10;3670:31;;;3695:5;3670:31;;;;;;;;;;;;;;;;;;3719:4;3712:11;;3256:475;;;;:::o;1842:43::-;;;;;;;;;;;;;;;;;:::o;5052:394::-;5110:12;2559;;;;;;;;;;;2558:13;2554:54;;;2588:8;;;2554:54;5162:5;5139:8;:20;5148:10;5139:20;;;;;;;;;;;;;;;;:28;5135:69;;;5184:8;;;5135:69;5221:1;5212:5;:10;;5208:38;;;5232:8;;;5208:38;5279:31;5304:5;5279:8;:20;5288:10;5279:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5256:8;:20;5265:10;5256:20;;;;;;;;;;;;;;;:54;;;;5344:31;5369:5;5344:8;:20;5353:10;5344:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5321:8;:20;5330:10;5321:20;;;;;;;;;;;;;;;:54;;;;5398:10;5391:25;;;5410:5;5391:25;;;;;;;;;;;;;;;;;;5434:4;5427:11;;5052:394;;;:::o;3098:150::-;3175:17;3212:7;:19;3220:10;3212:19;;;;;;;;;;;;;;;:28;3232:7;3212:28;;;;;;;;;;;;;;;;3205:35;;3098:150;;;;:::o;2750:110::-;2446:19;2454:10;2446:7;:19::i;:::-;2445:20;2441:62;;;2482:8;;;2441:62;2814:5;2799:12;;:20;;;;;;;;;;;;;;;;;;2835:17;2841:10;2835:17;;;;;;;;;;;;;;;;;;;;;;2750: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://3376b5fb9cb619b95708cf99dfc17bb9e5743146a58d73211406e16dd71846ba