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 2019-12-16
*/

/**
 *Submitted for verification at Etherscan.io on 2019-11-28
*/

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 TROY 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 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 = "TROY";
        name = "TROY";
        decimals = 18;
        _totalSupply = 10000000000 * 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 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

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

60806040526001600460146101000a81548160ff0219169083151502179055503480156200002c57600080fd5b506040518060400160405280600481526020017f54524f5900000000000000000000000000000000000000000000000000000000815250600090805190602001906200007a92919062000241565b506040518060400160405280600481526020017f54524f590000000000000000000000000000000000000000000000000000000081525060019080519060200190620000c892919062000241565b506012600260006101000a81548160ff021916908360ff160217905550600260009054906101000a900460ff1660ff16600a0a6402540be4000260038190555033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060035460056000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a3620002f0565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200028457805160ff1916838001178555620002b5565b82800160010185558215620002b5579182015b82811115620002b457825182559160200191906001019062000297565b5b509050620002c49190620002c8565b5090565b620002ed91905b80821115620002e9576000816000905550600101620002cf565b5090565b90565b6117e280620003006000396000f3fe6080604052600436106101145760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb14610643578063cd4217c1146106b6578063d7a78db81461071b578063dd62ed3e1461076e578063e36c62a2146107f357610114565b806370a08231146104b15780638da5cb5b14610516578063934580301461056d57806395d89b411461059c57806398e4d6711461062c57610114565b806327e235e3116100e757806327e235e3146102da5780632f54bf6e1461033f578063313ce567146103a85780635c658165146103d95780636623fc461461045e57610114565b806306fdde0314610119578063095ea7b3146101a957806318160ddd1461021c57806323b872dd14610247575b600080fd5b34801561012557600080fd5b5061012e61080a565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016e578082015181840152602081019050610153565b50505050905090810190601f16801561019b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b557600080fd5b50610202600480360360408110156101cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a8565b604051808215151515815260200191505060405180910390f35b34801561022857600080fd5b506102316109c0565b6040518082815260200191505060405180910390f35b34801561025357600080fd5b506102c06004803603606081101561026a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109ca565b604051808215151515815260200191505060405180910390f35b3480156102e657600080fd5b50610329600480360360208110156102fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610daa565b6040518082815260200191505060405180910390f35b34801561034b57600080fd5b5061038e6004803603602081101561036257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dc2565b604051808215151515815260200191505060405180910390f35b3480156103b457600080fd5b506103bd610e2d565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e557600080fd5b50610448600480360360408110156103fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e40565b6040518082815260200191505060405180910390f35b34801561046a57600080fd5b506104976004803603602081101561048157600080fd5b8101908080359060200190929190505050610e65565b604051808215151515815260200191505060405180910390f35b3480156104bd57600080fd5b50610500600480360360208110156104d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061105a565b6040518082815260200191505060405180910390f35b34801561052257600080fd5b5061052b6110a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561057957600080fd5b506105826110c9565b604051808215151515815260200191505060405180910390f35b3480156105a857600080fd5b506105b16110dc565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f15780820151818401526020810190506105d6565b50505050905090810190601f16801561061e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561063857600080fd5b5061064161117a565b005b34801561064f57600080fd5b5061069c6004803603604081101561066657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061120c565b604051808215151515815260200191505060405180910390f35b3480156106c257600080fd5b50610705600480360360208110156106d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b34801561072757600080fd5b506107546004803603602081101561073e57600080fd5b810190808035906020019092919050505061146b565b604051808215151515815260200191505060405180910390f35b34801561077a57600080fd5b506107dd6004803603604081101561079157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611660565b6040518082815260200191505060405180910390f35b3480156107ff57600080fd5b506108086116e7565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108a05780601f10610875576101008083540402835291602001916108a0565b820191906000526020600020905b81548152906001019060200180831161088357829003601f168201915b505050505081565b6000600460149054906101000a900460ff166108c357600080fd5b600082116108d057600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff166109e557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a1f57600080fd5b60008211610a2c57600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610a7857600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b0157600080fd5b610b5382600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c2582600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cf782600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e235760019050610e28565b600090505b919050565b600260009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16610e8057600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ecc57600080fd5b60008211610ed957600080fd5b610f2b82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fc082600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111725780601f1061114757610100808354040283529160200191611172565b820191906000526020600020905b81548152906001019060200180831161115557829003601f168201915b505050505081565b61118333610dc2565b61118c57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff1661122757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561126157600080fd5b6000821161126e57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156112ba57600080fd5b61130c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113a182600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff1661148657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156114d257600080fd5b600082116114df57600080fd5b61153182600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115c682600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6116f033610dc2565b6116f957600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60008282111561178857600080fd5b818303905092915050565b60008183019050828110156117a757600080fd5b9291505056fea265627a7a7231582004e158f33f5dca8fba27022c483b10b3dbd5449ceaa778823038ff491252d06364736f6c634300050c0032

0x6080604052600436106101145760003560e01c806370a08231116100a0578063a9059cbb11610064578063a9059cbb14610643578063cd4217c1146106b6578063d7a78db81461071b578063dd62ed3e1461076e578063e36c62a2146107f357610114565b806370a08231146104b15780638da5cb5b14610516578063934580301461056d57806395d89b411461059c57806398e4d6711461062c57610114565b806327e235e3116100e757806327e235e3146102da5780632f54bf6e1461033f578063313ce567146103a85780635c658165146103d95780636623fc461461045e57610114565b806306fdde0314610119578063095ea7b3146101a957806318160ddd1461021c57806323b872dd14610247575b600080fd5b34801561012557600080fd5b5061012e61080a565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016e578082015181840152602081019050610153565b50505050905090810190601f16801561019b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b557600080fd5b50610202600480360360408110156101cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a8565b604051808215151515815260200191505060405180910390f35b34801561022857600080fd5b506102316109c0565b6040518082815260200191505060405180910390f35b34801561025357600080fd5b506102c06004803603606081101561026a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109ca565b604051808215151515815260200191505060405180910390f35b3480156102e657600080fd5b50610329600480360360208110156102fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610daa565b6040518082815260200191505060405180910390f35b34801561034b57600080fd5b5061038e6004803603602081101561036257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dc2565b604051808215151515815260200191505060405180910390f35b3480156103b457600080fd5b506103bd610e2d565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103e557600080fd5b50610448600480360360408110156103fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e40565b6040518082815260200191505060405180910390f35b34801561046a57600080fd5b506104976004803603602081101561048157600080fd5b8101908080359060200190929190505050610e65565b604051808215151515815260200191505060405180910390f35b3480156104bd57600080fd5b50610500600480360360208110156104d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061105a565b6040518082815260200191505060405180910390f35b34801561052257600080fd5b5061052b6110a3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561057957600080fd5b506105826110c9565b604051808215151515815260200191505060405180910390f35b3480156105a857600080fd5b506105b16110dc565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f15780820151818401526020810190506105d6565b50505050905090810190601f16801561061e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561063857600080fd5b5061064161117a565b005b34801561064f57600080fd5b5061069c6004803603604081101561066657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061120c565b604051808215151515815260200191505060405180910390f35b3480156106c257600080fd5b50610705600480360360208110156106d957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611453565b6040518082815260200191505060405180910390f35b34801561072757600080fd5b506107546004803603602081101561073e57600080fd5b810190808035906020019092919050505061146b565b604051808215151515815260200191505060405180910390f35b34801561077a57600080fd5b506107dd6004803603604081101561079157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611660565b6040518082815260200191505060405180910390f35b3480156107ff57600080fd5b506108086116e7565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108a05780601f10610875576101008083540402835291602001916108a0565b820191906000526020600020905b81548152906001019060200180831161088357829003601f168201915b505050505081565b6000600460149054906101000a900460ff166108c357600080fd5b600082116108d057600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b6000600460149054906101000a900460ff166109e557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a1f57600080fd5b60008211610a2c57600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610a7857600080fd5b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b0157600080fd5b610b5382600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c2582600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cf782600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60056020528060005260406000206000915090505481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610e235760019050610e28565b600090505b919050565b600260009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000600460149054906101000a900460ff16610e8057600080fd5b81600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ecc57600080fd5b60008211610ed957600080fd5b610f2b82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fc082600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460149054906101000a900460ff1681565b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111725780601f1061114757610100808354040283529160200191611172565b820191906000526020600020905b81548152906001019060200180831161115557829003601f168201915b505050505081565b61118333610dc2565b61118c57600080fd5b6001600460146101000a81548160ff0219169083151502179055507f7163417802577c0d012ae3de5148c2f2b2b0bcc63e648c87e848b7812afe200633604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460149054906101000a900460ff1661122757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561126157600080fd5b6000821161126e57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156112ba57600080fd5b61130c82600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113a182600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60066020528060005260406000206000915090505481565b6000600460149054906101000a900460ff1661148657600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156114d257600080fd5b600082116114df57600080fd5b61153182600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177990919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506115c682600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461179390919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6116f033610dc2565b6116f957600080fd5b6000600460146101000a81548160ff0219169083151502179055507f162f46783fcc741c289a7af5bd16474ace09d7e8a9d5fe1ac0d37b12afc0ccac33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60008282111561178857600080fd5b818303905092915050565b60008183019050828110156117a757600080fd5b9291505056fea265627a7a7231582004e158f33f5dca8fba27022c483b10b3dbd5449ceaa778823038ff491252d06364736f6c634300050c0032

1362:4167:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5510:8;;;1461:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1461:18:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1461: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2869:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2869:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1799:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1799:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1799:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1486:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1486:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1899:62;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1899:62:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1899:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5069:393;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5069:393:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5069:393:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1541:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1541:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1568:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1568:31:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1434:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1434:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1434:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2632:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2632:111:0;;;:::i;:::-;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1849:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1849:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1849:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4670:394;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4670:394:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4670:394:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2751:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2751:110:0;;;:::i;:::-;;1461:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3740:280::-;3816:12;2560;;;;;;;;;;;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;;;;;;;;;;;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;1799: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;1486:21::-;;;;;;;;;;;;;:::o;1899:62::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5069:393::-;5129:12;2560;;;;;;;;;;;2555:54;;2589:8;;;2555:54;5181:5;5158:8;:20;5167:10;5158:20;;;;;;;;;;;;;;;;:28;5154:69;;;5203:8;;;5154:69;5240:1;5231:5;:10;5227:39;;5252:8;;;5227:39;5299:31;5324:5;5299:8;:20;5308:10;5299:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5276:8;:20;5285:10;5276:20;;;;;;;;;;;;;;;:54;;;;5358:31;5383:5;5358:8;:20;5367:10;5358:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;5335:8;:20;5344:10;5335:20;;;;;;;;;;;;;;;:54;;;;5414:10;5405:27;;;5426:5;5405:27;;;;;;;;;;;;;;;;;;5450:4;5443:11;;5069:393;;;:::o;2968:123::-;3028:15;3063:8;:20;3072:10;3063:20;;;;;;;;;;;;;;;;3056:27;;2968:123;;;:::o;1541:20::-;;;;;;;;;;;;;:::o;1568:31::-;;;;;;;;;;;;;:::o;1434:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2632:111::-;2447:19;2455:10;2447:7;:19::i;:::-;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;;;;;;;;;;;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;1849:43::-;;;;;;;;;;;;;;;;;:::o;4670:394::-;4728:12;2560;;;;;;;;;;;2555:54;;2589:8;;;2555:54;4780:5;4757:8;:20;4766:10;4757:20;;;;;;;;;;;;;;;;:28;4753:69;;;4802:8;;;4753:69;4839:1;4830:5;:10;4826:38;;4850:8;;;4826:38;4897:31;4922:5;4897:8;:20;4906:10;4897:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;4874:8;:20;4883:10;4874:20;;;;;;;;;;;;;;;:54;;;;4962:31;4987:5;4962:8;:20;4971:10;4962:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;4939:8;:20;4948:10;4939:20;;;;;;;;;;;;;;;:54;;;;5016:10;5009:25;;;5028:5;5009:25;;;;;;;;;;;;;;;;;;5052:4;5045:11;;4670: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;:::-;2442:62;;2483:8;;;2442:62;2815:5;2800:12;;:20;;;;;;;;;;;;;;;;;;2836:17;2842:10;2836:17;;;;;;;;;;;;;;;;;;;;;;2751:110::o;251:123::-;309:9;344:1;339;:6;;331:15;;;;;;365:1;361;:5;357:9;;251:123;;;;:::o;122:::-;180:9;210:1;206;:5;202:9;;235:1;230;:6;;222:15;;;;;;122:123;;;;:::o

bzzr://04e158f33f5dca8fba27022c483b10b3dbd5449ceaa778823038ff491252d063