Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract transferable function tr ...  contract tokenRecipient function ...  contract HoteliumToken *    - function balanceOf(address _owner)    - function allowance(address _owner, ad ...    - function totalSupply()    - function transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function approveAndCall(address _spen ...    - function transferFrom(address _from, ...    - function burn(uint256 _value)    - function burnFrom(address _from, uint ...    - function transferAnyERC20Token(addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-30
*/

pragma solidity ^0.5.1;

contract transferable { function transfer(address to, uint256 value) public returns (bool); }
contract tokenRecipient { function receiveApproval(address _from, uint256 _value, address _token, bytes memory _extraData) public; }

contract HoteliumToken {
    string public name = "Hotelium";
    string public symbol = "HTL";
    uint8 public decimals = 8;
    address public owner;
    uint256 public _totalSupply = 49000000000000000;

    mapping (address => uint256) public balances;
    mapping (address => mapping (address => uint256)) public allowances;

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Burn(address indexed from, uint256 value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);

    constructor() public {
        balances[0xf115c4bE4C298cA9166BBB7C1922435fd3E87084] = 40000000000000000;

        balances[0x8d68e0FBea987B480C81EcB2B67B5f106786747f] = 1000000000000000;
        balances[0x34c1baf2bF700C963AE21090236D90CA9f4a317e] = 1000000000000000;
        balances[0x9FDcA6eDd5C0B5eD9ed5131835Cee0413EF5b91f] = 1000000000000000;
        balances[0xb150864c2B4F7181a8d72bA10ED6Ad834BFcEBf1] = 1000000000000000;
        balances[0x53C7e935350615DCad91957C64F070d950a1a410] = 1000000000000000;
        balances[0x63346d5b073310a704440802C1b5666a7F57b553] = 1000000000000000;
        balances[0x9b150527964699A6DB9dDB0006432208Cd41d594] = 1000000000000000;
        balances[0xC09118e41F08B317d2aDa4f5433ebFCEd83E490A] = 1000000000000000;


        balances[0xe3Ea7413D30E1fdB6Ab4f32ecDBa3F6eaC925401] = 190000000000000;
        balances[0x0B0F2674401cE36816452476f19f004a1b1E68c2] = 190000000000000;
        balances[0xB439dacB0Be7B5efEaf1f28F30c39F8e25239195] = 190000000000000;
        balances[0xD6Cf1038638E1C4F021E979B0e8cAc660a523Be5] = 190000000000000;
        balances[0xB8B4E2cF8314Dad106bADB28C2cfe735FC7616fD] = 190000000000000;


        balances[0x97b9155feE365cCD805aE080d986DB0E43a9C0E9] = 50000000000000;
        owner = 0xf115c4bE4C298cA9166BBB7C1922435fd3E87084;
        
        emit Transfer(address(0), 0xf115c4bE4C298cA9166BBB7C1922435fd3E87084, 40000000000000000);

        emit Transfer(address(0), 0x8d68e0FBea987B480C81EcB2B67B5f106786747f, 1000000000000000);
        emit Transfer(address(0), 0x34c1baf2bF700C963AE21090236D90CA9f4a317e, 1000000000000000);
        emit Transfer(address(0), 0x9FDcA6eDd5C0B5eD9ed5131835Cee0413EF5b91f, 1000000000000000);
        emit Transfer(address(0), 0xb150864c2B4F7181a8d72bA10ED6Ad834BFcEBf1, 1000000000000000);
        emit Transfer(address(0), 0x53C7e935350615DCad91957C64F070d950a1a410, 1000000000000000);
        emit Transfer(address(0), 0x63346d5b073310a704440802C1b5666a7F57b553, 1000000000000000);
        emit Transfer(address(0), 0x9b150527964699A6DB9dDB0006432208Cd41d594, 1000000000000000);
        emit Transfer(address(0), 0xC09118e41F08B317d2aDa4f5433ebFCEd83E490A, 1000000000000000);


        emit Transfer(address(0), 0xe3Ea7413D30E1fdB6Ab4f32ecDBa3F6eaC925401, 190000000000000);
        emit Transfer(address(0), 0x0B0F2674401cE36816452476f19f004a1b1E68c2, 190000000000000);
        emit Transfer(address(0), 0xB439dacB0Be7B5efEaf1f28F30c39F8e25239195, 190000000000000);
        emit Transfer(address(0), 0xD6Cf1038638E1C4F021E979B0e8cAc660a523Be5, 190000000000000);
        emit Transfer(address(0), 0xB8B4E2cF8314Dad106bADB28C2cfe735FC7616fD, 190000000000000);

        emit Transfer(address(0), 0x97b9155feE365cCD805aE080d986DB0E43a9C0E9, 50000000000000);
    }

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

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

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

    function transfer(address _to, uint256 _value) public returns (bool success) {
        if (_to == address(0x0)) return false;
        if (balances[msg.sender] < _value) return false;
        if (balances[_to] + _value < balances[_to]) return false;
        balances[msg.sender] -= _value;
        balances[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

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

    function approveAndCall(address _spender, uint256 _value, bytes memory _extraData) public returns (bool success) {
        tokenRecipient spender = tokenRecipient(_spender);
        if (approve(_spender, _value)) {
            spender.receiveApproval(msg.sender, _value, address(this), _extraData);
            return true;
        }
    }        

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        if (_to == address(0x0)) return false;
        if (balances[_from] < _value) return false;
        if (balances[_to] + _value < balances[_to]) return false;
        if (_value > allowances[_from][msg.sender]) return false;
        balances[_from] -= _value;
        balances[_to] += _value;
        allowances[_from][msg.sender] -= _value;
        emit Transfer(_from, _to, _value);
        return true;
    }

    function burn(uint256 _value) public returns (bool success) {
        if (balances[msg.sender] < _value) return false;
        balances[msg.sender] -= _value;
        _totalSupply -= _value;
        emit Burn(msg.sender, _value);
        return true;
    }

    function burnFrom(address _from, uint256 _value) public returns (bool success) {
        if (balances[_from] < _value) return false;
        if (_value > allowances[_from][msg.sender]) return false;
        balances[_from] -= _value;
        _totalSupply -= _value;
        emit Burn(_from, _value);
        return true;
    }

    function transferAnyERC20Token(address tokenAddress, uint tokens) public returns (bool success) {
        return transferable(tokenAddress).transfer(owner, tokens);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","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":"Burn","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"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","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":"allowances","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":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bytes","name":"_extraData","type":"bytes"}],"name":"approveAndCall","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","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":false,"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burnFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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":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":"supply","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":"tokenAddress","type":"address"},{"internalType":"uint256","name":"tokens","type":"uint256"}],"name":"transferAnyERC20Token","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"}]

60806040526040518060400160405280600881526020017f486f74656c69756d000000000000000000000000000000000000000000000000815250600090805190602001906200005192919062000e44565b506040518060400160405280600381526020017f48544c0000000000000000000000000000000000000000000000000000000000815250600190805190602001906200009f92919062000e44565b506008600260006101000a81548160ff021916908360ff16021790555066ae153d89fe8000600355348015620000d457600080fd5b50668e1bc9bf0400006004600073f115c4be4c298ca9166bbb7c1922435fd3e8708473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c6800060046000738d68e0fbea987b480c81ecb2b67b5f106786747f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c68000600460007334c1baf2bf700c963ae21090236d90ca9f4a317e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c6800060046000739fdca6edd5c0b5ed9ed5131835cee0413ef5b91f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c680006004600073b150864c2b4f7181a8d72ba10ed6ad834bfcebf173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c68000600460007353c7e935350615dcad91957c64f070d950a1a41073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c68000600460007363346d5b073310a704440802c1b5666a7f57b55373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c6800060046000739b150527964699a6db9ddb0006432208cd41d59473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555066038d7ea4c680006004600073c09118e41f08b317d2ada4f5433ebfced83e490a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555065accdd281e0006004600073e3ea7413d30e1fdb6ab4f32ecdba3f6eac92540173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555065accdd281e00060046000730b0f2674401ce36816452476f19f004a1b1e68c273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555065accdd281e0006004600073b439dacb0be7b5efeaf1f28f30c39f8e2523919573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555065accdd281e0006004600073d6cf1038638e1c4f021e979b0e8cac660a523be573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555065accdd281e0006004600073b8b4e2cf8314dad106badb28c2cfe735fc7616fd73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550652d79883d2000600460007397b9155fee365ccd805ae080d986db0e43a9c0e973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555073f115c4be4c298ca9166bbb7c1922435fd3e87084600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073f115c4be4c298ca9166bbb7c1922435fd3e8708473ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef668e1bc9bf0400006040518082815260200191505060405180910390a3738d68e0fbea987b480c81ecb2b67b5f106786747f73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a37334c1baf2bf700c963ae21090236d90ca9f4a317e73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a3739fdca6edd5c0b5ed9ed5131835cee0413ef5b91f73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a373b150864c2b4f7181a8d72ba10ed6ad834bfcebf173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a37353c7e935350615dcad91957c64f070d950a1a41073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a37363346d5b073310a704440802c1b5666a7f57b55373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a3739b150527964699a6db9ddb0006432208cd41d59473ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a373c09118e41f08b317d2ada4f5433ebfced83e490a73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040518082815260200191505060405180910390a373e3ea7413d30e1fdb6ab4f32ecdba3f6eac92540173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef65accdd281e0006040518082815260200191505060405180910390a3730b0f2674401ce36816452476f19f004a1b1e68c273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef65accdd281e0006040518082815260200191505060405180910390a373b439dacb0be7b5efeaf1f28f30c39f8e2523919573ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef65accdd281e0006040518082815260200191505060405180910390a373d6cf1038638e1c4f021e979b0e8cac660a523be573ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef65accdd281e0006040518082815260200191505060405180910390a373b8b4e2cf8314dad106badb28c2cfe735fc7616fd73ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef65accdd281e0006040518082815260200191505060405180910390a37397b9155fee365ccd805ae080d986db0e43a9c0e973ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef652d79883d20006040518082815260200191505060405180910390a362000ef3565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1062000e8757805160ff191683800117855562000eb8565b8280016001018555821562000eb8579182015b8281111562000eb757825182559160200191906001019062000e9a565b5b50905062000ec7919062000ecb565b5090565b62000ef091905b8082111562000eec57600081600090555060010162000ed2565b5090565b90565b6115d88062000f036000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806355b6ed5c116100a257806395d89b411161007157806395d89b41146104fd578063a9059cbb14610580578063cae9ca51146105e6578063dc39d06d146106e3578063dd62ed3e146107495761010b565b806355b6ed5c1461037d57806370a08231146103f557806379cc67901461044d5780638da5cb5b146104b35761010b565b806327e235e3116100de57806327e235e31461029d578063313ce567146102f55780633eaaf86b1461031957806342966c68146103375761010b565b806306fdde0314610110578063095ea7b31461019357806318160ddd146101f957806323b872dd14610217575b600080fd5b6101186107c1565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015857808201518184015260208101905061013d565b50505050905090810190601f1680156101855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101df600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085f565b604051808215151515815260200191505060405180910390f35b610201610951565b6040518082815260200191505060405180910390f35b6102836004803603606081101561022d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061095b565b604051808215151515815260200191505060405180910390f35b6102df600480360360208110156102b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c9d565b6040518082815260200191505060405180910390f35b6102fd610cb5565b604051808260ff1660ff16815260200191505060405180910390f35b610321610cc8565b6040518082815260200191505060405180910390f35b6103636004803603602081101561034d57600080fd5b8101908080359060200190929190505050610cce565b604051808215151515815260200191505060405180910390f35b6103df6004803603604081101561039357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dd5565b6040518082815260200191505060405180910390f35b6104376004803603602081101561040b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dfa565b6040518082815260200191505060405180910390f35b6104996004803603604081101561046357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e43565b604051808215151515815260200191505060405180910390f35b6104bb610fd8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610505610ffe565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561054557808201518184015260208101905061052a565b50505050905090810190601f1680156105725780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105cc6004803603604081101561059657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061109c565b604051808215151515815260200191505060405180910390f35b6106c9600480360360608110156105fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561064357600080fd5b82018360208201111561065557600080fd5b8035906020019184600183028401116401000000008311171561067757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506112c6565b604051808215151515815260200191505060405180910390f35b61072f600480360360408110156106f957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061142e565b604051808215151515815260200191505060405180910390f35b6107ab6004803603604081101561075f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061151c565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108575780601f1061082c57610100808354040283529160200191610857565b820191906000526020600020905b81548152906001019060200180831161083a57829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099a5760009050610c96565b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156109ea5760009050610c96565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015610a7b5760009050610c96565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b085760009050610c96565b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b9392505050565b60046020528060005260406000206000915090505481565b600260009054906101000a900460ff1681565b60035481565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d205760009050610dd0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816003600082825403925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600190505b919050565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e955760009050610fd2565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f225760009050610fd2565b81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816003600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600190505b92915050565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110945780601f1061106957610100808354040283529160200191611094565b820191906000526020600020905b81548152906001019060200180831161107757829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156110db57600090506112c0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561112b57600090506112c0565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110156111bc57600090506112c0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b6000808490506112d6858561085f565b15611425578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b838110156113b4578082015181840152602081019050611399565b50505050905090810190601f1680156113e15780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561140357600080fd5b505af1158015611417573d6000803e3d6000fd5b505050506001915050611427565b505b9392505050565b60008273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156114d957600080fd5b505af11580156114ed573d6000803e3d6000fd5b505050506040513d602081101561150357600080fd5b8101908080519060200190929190505050905092915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490509291505056fea265627a7a72315820baba10a98091f894fb56e643d9e651627e28538e25112934e109b24b14b7446264736f6c63430005110032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806355b6ed5c116100a257806395d89b411161007157806395d89b41146104fd578063a9059cbb14610580578063cae9ca51146105e6578063dc39d06d146106e3578063dd62ed3e146107495761010b565b806355b6ed5c1461037d57806370a08231146103f557806379cc67901461044d5780638da5cb5b146104b35761010b565b806327e235e3116100de57806327e235e31461029d578063313ce567146102f55780633eaaf86b1461031957806342966c68146103375761010b565b806306fdde0314610110578063095ea7b31461019357806318160ddd146101f957806323b872dd14610217575b600080fd5b6101186107c1565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015857808201518184015260208101905061013d565b50505050905090810190601f1680156101855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101df600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085f565b604051808215151515815260200191505060405180910390f35b610201610951565b6040518082815260200191505060405180910390f35b6102836004803603606081101561022d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061095b565b604051808215151515815260200191505060405180910390f35b6102df600480360360208110156102b357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610c9d565b6040518082815260200191505060405180910390f35b6102fd610cb5565b604051808260ff1660ff16815260200191505060405180910390f35b610321610cc8565b6040518082815260200191505060405180910390f35b6103636004803603602081101561034d57600080fd5b8101908080359060200190929190505050610cce565b604051808215151515815260200191505060405180910390f35b6103df6004803603604081101561039357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dd5565b6040518082815260200191505060405180910390f35b6104376004803603602081101561040b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610dfa565b6040518082815260200191505060405180910390f35b6104996004803603604081101561046357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e43565b604051808215151515815260200191505060405180910390f35b6104bb610fd8565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610505610ffe565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561054557808201518184015260208101905061052a565b50505050905090810190601f1680156105725780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105cc6004803603604081101561059657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061109c565b604051808215151515815260200191505060405180910390f35b6106c9600480360360608110156105fc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561064357600080fd5b82018360208201111561065557600080fd5b8035906020019184600183028401116401000000008311171561067757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506112c6565b604051808215151515815260200191505060405180910390f35b61072f600480360360408110156106f957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061142e565b604051808215151515815260200191505060405180910390f35b6107ab6004803603604081101561075f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061151c565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108575780601f1061082c57610100808354040283529160200191610857565b820191906000526020600020905b81548152906001019060200180831161083a57829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561099a5760009050610c96565b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156109ea5760009050610c96565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015610a7b5760009050610c96565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b085760009050610c96565b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b9392505050565b60046020528060005260406000206000915090505481565b600260009054906101000a900460ff1681565b60035481565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d205760009050610dd0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816003600082825403925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600190505b919050565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e955760009050610fd2565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f225760009050610fd2565b81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816003600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600190505b92915050565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156110945780601f1061106957610100808354040283529160200191611094565b820191906000526020600020905b81548152906001019060200180831161107757829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156110db57600090506112c0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561112b57600090506112c0565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110156111bc57600090506112c0565b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b6000808490506112d6858561085f565b15611425578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff1660e01b8152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b838110156113b4578082015181840152602081019050611399565b50505050905090810190601f1680156113e15780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561140357600080fd5b505af1158015611417573d6000803e3d6000fd5b505050506001915050611427565b505b9392505050565b60008273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156114d957600080fd5b505af11580156114ed573d6000803e3d6000fd5b505050506040513d602081101561150357600080fd5b8101908080519060200190929190505050905092915050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490509291505056fea265627a7a72315820baba10a98091f894fb56e643d9e651627e28538e25112934e109b24b14b7446264736f6c63430005110032

258:6084:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;258:6084:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;288:31;;;:::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;288:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4437:217;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4437:217:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3919:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5023:525;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5023:525:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;476:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;476:44:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;361:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;420:47;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5556:262;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5556:262:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;527:67;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;527:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3641:115;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3641:115:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5826:333;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5826:333:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;393:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;326:28;;;:::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;326:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4025:404;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4025:404:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4662:345;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4662:345:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4662:345:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4662:345:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;4662:345:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4662:345:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6167:172;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6167:172:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3764:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3764:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;288:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4437:217::-;4504:12;4564:6;4529:10;:22;4540:10;4529:22;;;;;;;;;;;;;;;:32;4552:8;4529:32;;;;;;;;;;;;;;;:41;;;;4607:8;4586:38;;4595:10;4586:38;;;4617:6;4586:38;;;;;;;;;;;;;;;;;;4642:4;4635:11;;4437:217;;;;:::o;3919:98::-;3963:14;3997:12;;3990:19;;3919:98;:::o;5023:525::-;5105:12;5149:3;5134:19;;:3;:19;;;5130:37;;;5162:5;5155:12;;;;5130:37;5200:6;5182:8;:15;5191:5;5182:15;;;;;;;;;;;;;;;;:24;5178:42;;;5215:5;5208:12;;;;5178:42;5260:8;:13;5269:3;5260:13;;;;;;;;;;;;;;;;5251:6;5235:8;:13;5244:3;5235:13;;;;;;;;;;;;;;;;:22;:38;5231:56;;;5282:5;5275:12;;;;5231:56;5311:10;:17;5322:5;5311:17;;;;;;;;;;;;;;;:29;5329:10;5311:29;;;;;;;;;;;;;;;;5302:6;:38;5298:56;;;5349:5;5342:12;;;;5298:56;5384:6;5365:8;:15;5374:5;5365:15;;;;;;;;;;;;;;;;:25;;;;;;;;;;;5418:6;5401:8;:13;5410:3;5401:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;5468:6;5435:10;:17;5446:5;5435:17;;;;;;;;;;;;;;;:29;5453:10;5435:29;;;;;;;;;;;;;;;;:39;;;;;;;;;;;5506:3;5490:28;;5499:5;5490:28;;;5511:6;5490:28;;;;;;;;;;;;;;;;;;5536:4;5529:11;;5023:525;;;;;;:::o;476:44::-;;;;;;;;;;;;;;;;;:::o;361:25::-;;;;;;;;;;;;;:::o;420:47::-;;;;:::o;5556:262::-;5602:12;5654:6;5631:8;:20;5640:10;5631:20;;;;;;;;;;;;;;;;:29;5627:47;;;5669:5;5662:12;;;;5627:47;5709:6;5685:8;:20;5694:10;5685:20;;;;;;;;;;;;;;;;:30;;;;;;;;;;;5742:6;5726:12;;:22;;;;;;;;;;;5769:10;5764:24;;;5781:6;5764:24;;;;;;;;;;;;;;;;;;5806:4;5799:11;;5556:262;;;;:::o;527:67::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3641:115::-;3697:15;3732:8;:16;3741:6;3732:16;;;;;;;;;;;;;;;;3725:23;;3641:115;;;:::o;5826:333::-;5891:12;5938:6;5920:8;:15;5929:5;5920:15;;;;;;;;;;;;;;;;:24;5916:42;;;5953:5;5946:12;;;;5916:42;5982:10;:17;5993:5;5982:17;;;;;;;;;;;;;;;:29;6000:10;5982:29;;;;;;;;;;;;;;;;5973:6;:38;5969:56;;;6020:5;6013:12;;;;5969:56;6055:6;6036:8;:15;6045:5;6036:15;;;;;;;;;;;;;;;;:25;;;;;;;;;;;6088:6;6072:12;;:22;;;;;;;;;;;6115:5;6110:19;;;6122:6;6110:19;;;;;;;;;;;;;;;;;;6147:4;6140:11;;5826:333;;;;;:::o;393:20::-;;;;;;;;;;;;;:::o;326:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4025:404::-;4088:12;4132:3;4117:19;;:3;:19;;;4113:37;;;4145:5;4138:12;;;;4113:37;4188:6;4165:8;:20;4174:10;4165:20;;;;;;;;;;;;;;;;:29;4161:47;;;4203:5;4196:12;;;;4161:47;4248:8;:13;4257:3;4248:13;;;;;;;;;;;;;;;;4239:6;4223:8;:13;4232:3;4223:13;;;;;;;;;;;;;;;;:22;:38;4219:56;;;4270:5;4263:12;;;;4219:56;4310:6;4286:8;:20;4295:10;4286:20;;;;;;;;;;;;;;;;:30;;;;;;;;;;;4344:6;4327:8;:13;4336:3;4327:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;4387:3;4366:33;;4375:10;4366:33;;;4392:6;4366:33;;;;;;;;;;;;;;;;;;4417:4;4410:11;;4025:404;;;;;:::o;4662:345::-;4761:12;4786:22;4826:8;4786:49;;4850:25;4858:8;4868:6;4850:7;:25::i;:::-;4846:154;;;4892:7;:23;;;4916:10;4928:6;4944:4;4951:10;4892:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;4892:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4892:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4892:70:0;;;;4984:4;4977:11;;;;;4846:154;4662:345;;;;;;;:::o;6167:172::-;6249:12;6294;6281:35;;;6317:5;;;;;;;;;;;6324:6;6281:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6281:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6281:50:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6281:50:0;;;;;;;;;;;;;;;;6274:57;;6167:172;;;;:::o;3764:147::-;3838:17;3875:10;:18;3886:6;3875:18;;;;;;;;;;;;;;;:28;3894:8;3875:28;;;;;;;;;;;;;;;;3868:35;;3764:147;;;;:::o

bzzr://baba10a98091f894fb56e643d9e651627e28538e25112934e109b24b14b74462