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-08-28
*/

pragma solidity 0.4.23;

contract DSAuthority {
    function canCall(
        address src, address dst, bytes4 sig
    ) public view returns (bool);
}

contract DSAuthEvents {
    event LogSetAuthority (address indexed authority);
    event LogSetOwner     (address indexed owner);
}

contract DSAuth is DSAuthEvents {
    DSAuthority  public  authority;
    address      public  owner;

    constructor() public {
        owner = msg.sender;
        emit LogSetOwner(msg.sender);
    }

    function setOwner(address owner_)
    public
    auth
    {
        owner = owner_;
        emit LogSetOwner(owner);
    }

    function setAuthority(DSAuthority authority_)
    public
    auth
    {
        authority = authority_;
        emit LogSetAuthority(authority);
    }

    modifier auth {
        require(isAuthorized(msg.sender, msg.sig));
        _;
    }

    function isAuthorized(address src, bytes4 sig) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == DSAuthority(0)) {
            return false;
        } else {
            return authority.canCall(src, this, sig);
        }
    }
}

contract DSNote {
    event LogNote(
        bytes4   indexed sig,
        address  indexed guy,
        bytes32  indexed foo,
        bytes32  indexed bar,
        uint wad,
        bytes fax
    ) anonymous;

    modifier note {
        bytes32 foo;
        bytes32 bar;

        assembly {
            foo := calldataload(4)
            bar := calldataload(36)
        }

        emit LogNote(msg.sig, msg.sender, foo, bar, msg.value, msg.data);

        _;
    }
}

contract DSStop is DSNote, DSAuth {
    bool public stopped;

    modifier stoppable {
        require(!stopped);
        _;
    }
    function stop() public auth note {
        stopped = true;
    }

    function start() public auth note {
        stopped = false;
    }
}

contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }

    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x);
    }

    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }
}

contract ERC20 {
    /// @return total amount of tokens
    function totalSupply() constant public returns (uint256 supply);

    /// @param _owner The address from which the balance will be retrieved
    /// @return The balance
    function balanceOf(address _owner) constant public returns (uint256 balance);

    /// @notice send `_value` token to `_to` from `msg.sender`
    /// @param _to The address of the recipient
    /// @param _value The amount of token to be transferred
    /// @return Whether the transfer was successful or not
    function transfer(address _to, uint256 _value) public returns (bool success);

    /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
    /// @param _from The address of the sender
    /// @param _to The address of the recipient
    /// @param _value The amount of token to be transferred
    /// @return Whether the transfer was successful or not
    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success);

    /// @notice `msg.sender` approves `_addr` to spend `_value` tokens
    /// @param _spender The address of the account able to transfer the tokens
    /// @param _value The amount of wei to be approved for transfer
    /// @return Whether the approval was successful or not
    function approve(address _spender, uint256 _value) public returns (bool success);

    /// @param _owner The address of the account owning tokens
    /// @param _spender The address of the account able to transfer the tokens
    /// @return Amount of remaining tokens allowed to spent
    function allowance(address _owner, address _spender) constant public returns (uint256 remaining);

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}


contract Coin is ERC20, DSStop {
    string public name;
    string public symbol;
    uint8 public decimals = 18;
    uint256 internal c_totalSupply;
    mapping(address => uint256) internal c_balances;
    mapping(address => mapping(address => uint256)) internal c_approvals;

    function init(uint256 token_supply, string token_name, string token_symbol) internal {
        c_balances[msg.sender] = token_supply;
        c_totalSupply = token_supply;
        name = token_name;
        symbol = token_symbol;
    }

    function() public {
        assert(false);
    }

    function setName(string _name) auth public {
        name = _name;
    }

    function totalSupply() constant public returns (uint256) {
        return c_totalSupply;
    }

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

    function approve(address _spender, uint256 _value) public stoppable returns (bool) {
        require(msg.data.length >= (2 * 32) + 4);
        require(_value == 0 || c_approvals[msg.sender][_spender] == 0);
        // uint never less than 0. The negative number will become to a big positive number
        require(_value < c_totalSupply);

        c_approvals[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

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

contract FreezerAuthority is DSAuthority {
    address[] internal c_freezers;
    // sha3("setFreezing(address,uint256,uint256,uint8)").slice(0,10)
    bytes4 constant setFreezingSig = bytes4(0x51c3b8a6);
    // sha3("transferAndFreezing(address,uint256,uint256,uint256,uint8)").slice(0,10)
    bytes4 constant transferAndFreezingSig = bytes4(0xb8a1fdb6);

    function canCall(address caller, address, bytes4 sig) public view returns (bool) {
        // freezer can call setFreezing, transferAndFreezing
        if (isFreezer(caller) && (sig == setFreezingSig || sig == transferAndFreezingSig)) {
            return true;
        } else {
            return false;
        }
    }

    function addFreezer(address freezer) public {
        int i = indexOf(c_freezers, freezer);
        if (i < 0) {
            c_freezers.push(freezer);
        }
    }

    function removeFreezer(address freezer) public {
        int index = indexOf(c_freezers, freezer);
        if (index >= 0) {
            uint i = uint(index);
            while (i < c_freezers.length - 1) {
                c_freezers[i] = c_freezers[i + 1];
            }
            c_freezers.length--;
        }
    }

    /** Finds the index of a given value in an array. */
    function indexOf(address[] values, address value) internal pure returns (int) {
        uint i = 0;
        while (i < values.length) {
            if (values[i] == value) {
                return int(i);
            }
            i++;
        }
        return int(- 1);
    }

    function isFreezer(address addr) public constant returns (bool) {
        return indexOf(c_freezers, addr) >= 0;
    }
}

contract FreezableCoin is Coin, DSMath {
    // freezing struct
    struct FreezingNode {
        uint end_stamp;
        uint num_coins;
        uint8 freezing_type;
    }

    // freezing account list
    mapping(address => FreezingNode[]) internal c_freezing_list;

    constructor(uint256 token_supply, string token_name, string token_symbol) public {
        init(token_supply, token_name, token_symbol);
        setAuthority(new FreezerAuthority());
    }

    function addFreezer(address freezer) auth public {
        FreezerAuthority(authority).addFreezer(freezer);
    }

    function removeFreezer(address freezer) auth public {
        FreezerAuthority(authority).removeFreezer(freezer);
    }

    event ClearExpiredFreezingEvent(address indexed addr);
    event SetFreezingEvent(address indexed addr, uint end_stamp, uint num_coins, uint8 indexed freezing_type);

    function clearExpiredFreezing(address addr) public {
        FreezingNode[] storage nodes = c_freezing_list[addr];
        uint length = nodes.length;

        // find first expired index
        uint left = 0;
        while (left < length) {
            // not freezing any more
            if (nodes[left].end_stamp <= block.timestamp) {
                break;
            }
            left++;
        }

        // next frozen index
        uint right = left + 1;
        while (left < length && right < length) {
            // still freezing
            if (nodes[right].end_stamp > block.timestamp) {
                nodes[left] = nodes[right];
                left++;
            }
            right++;
        }
        if (length != left) {
            nodes.length = left;
            emit ClearExpiredFreezingEvent(addr);
        }
    }

    function validBalanceOf(address addr) constant public returns (uint) {
        FreezingNode[] memory nodes = c_freezing_list[addr];
        uint length = nodes.length;
        uint total_coins = balanceOf(addr);

        for (uint i = 0; i < length; ++i) {
            if (nodes[i].end_stamp > block.timestamp) {
                total_coins = sub(total_coins, nodes[i].num_coins);
            }
        }

        return total_coins;
    }

    function freezingBalanceNumberOf(address addr) constant public returns (uint) {
        return c_freezing_list[addr].length;
    }

    function freezingBalanceInfoOf(address addr, uint index) constant public returns (uint, uint, uint8) {
        return (c_freezing_list[addr][index].end_stamp, c_freezing_list[addr][index].num_coins, uint8(c_freezing_list[addr][index].freezing_type));
    }

    function setFreezing(address addr, uint end_stamp, uint num_coins, uint8 freezing_type) auth stoppable public {
        require(block.timestamp < end_stamp);
        // uint never less than 0. The negative number will become to a big positive number
        require(num_coins < c_totalSupply);
        clearExpiredFreezing(addr);
        uint valid_balance = validBalanceOf(addr);
        require(valid_balance >= num_coins);

        FreezingNode memory node = FreezingNode(end_stamp, num_coins, freezing_type);
        c_freezing_list[addr].push(node);

        emit SetFreezingEvent(addr, end_stamp, num_coins, freezing_type);
    }

    function transferAndFreezing(address _to, uint256 _value, uint256 freeze_amount, uint end_stamp, uint8 freezing_type) auth stoppable public returns (bool) {
        // uint never less than 0. The negative number will become to a big positive number
        require(_value < c_totalSupply);
        require(freeze_amount <= _value);

        transfer(_to, _value);
        setFreezing(_to, end_stamp, freeze_amount, freezing_type);

        return true;
    }

    function transfer(address _to, uint256 _value) stoppable public returns (bool) {
        require(msg.data.length >= (2 * 32) + 4);
        // uint never less than 0. The negative number will become to a big positive number
        require(_value < c_totalSupply);
        clearExpiredFreezing(msg.sender);
        uint from_coins = validBalanceOf(msg.sender);

        require(from_coins >= _value);

        c_balances[msg.sender] = sub(c_balances[msg.sender], _value);
        c_balances[_to] = add(c_balances[_to], _value);

        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) stoppable public returns (bool) {
        // uint never less than 0. The negative number will become to a big positive number
        require(_value < c_totalSupply);
        require(c_approvals[_from][msg.sender] >= _value);

        clearExpiredFreezing(_from);
        uint from_coins = validBalanceOf(_from);

        require(from_coins >= _value);

        c_approvals[_from][msg.sender] = sub(c_approvals[_from][msg.sender], _value);
        c_balances[_from] = sub(c_balances[_from], _value);
        c_balances[_to] = add(c_balances[_to], _value);

        emit Transfer(_from, _to, _value);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"freezingBalanceNumberOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"freezer","type":"address"}],"name":"removeFreezer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"end_stamp","type":"uint256"},{"name":"num_coins","type":"uint256"},{"name":"freezing_type","type":"uint8"}],"name":"setFreezing","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"freezer","type":"address"}],"name":"addFreezer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"},{"name":"index","type":"uint256"}],"name":"freezingBalanceInfoOf","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"authority_","type":"address"}],"name":"setAuthority","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"},{"name":"freeze_amount","type":"uint256"},{"name":"end_stamp","type":"uint256"},{"name":"freezing_type","type":"uint8"}],"name":"transferAndFreezing","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"authority","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"validBalanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"}],"name":"clearExpiredFreezing","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"token_supply","type":"uint256"},{"name":"token_name","type":"string"},{"name":"token_symbol","type":"string"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":false,"stateMutability":"nonpayable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"}],"name":"ClearExpiredFreezingEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"addr","type":"address"},{"indexed":false,"name":"end_stamp","type":"uint256"},{"indexed":false,"name":"num_coins","type":"uint256"},{"indexed":true,"name":"freezing_type","type":"uint8"}],"name":"SetFreezingEvent","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"authority","type":"address"}],"name":"LogSetAuthority","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"LogSetOwner","type":"event"},{"anonymous":true,"inputs":[{"indexed":true,"name":"sig","type":"bytes4"},{"indexed":true,"name":"guy","type":"address"},{"indexed":true,"name":"foo","type":"bytes32"},{"indexed":true,"name":"bar","type":"bytes32"},{"indexed":false,"name":"wad","type":"uint256"},{"indexed":false,"name":"fax","type":"bytes"}],"name":"LogNote","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526012600460006101000a81548160ff021916908360ff1602179055503480156200002d57600080fd5b50604051620032093803806200320983398101806040528101908080519060200190929190805182019291906020018051820192919050505033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a26200010683838362000150640100000000026401000000009004565b620001476200011462000544565b604051809103906000f08015801562000131573d6000803e3d6000fd5b50620001d2640100000000026401000000009004565b50505062000604565b82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550826005819055508160029080519060200190620001b392919062000555565b508060039080519060200190620001cc92919062000555565b50505050565b62000211336000357fffffffff0000000000000000000000000000000000000000000000000000000016620002c4640100000000026401000000009004565b15156200021d57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200030557600190506200053e565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200036657600190506200053e565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415620003c757600090506200053e565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b158015620004fe57600080fd5b505af115801562000513573d6000803e3d6000fd5b505050506040513d60208110156200052a57600080fd5b810190808051906020019092919050505090505b92915050565b60405161072d8062002adc83390190565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200059857805160ff1916838001178555620005c9565b82800160010185558215620005c9579182015b82811115620005c8578251825591602001919060010190620005ab565b5b509050620005d89190620005dc565b5090565b6200060191905b80821115620005fd576000816000905550600101620005e3565b5090565b90565b6124c880620006146000396000f300608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461016257806307da68f5146101f2578063095ea7b31461020957806313af40351461026e57806318160ddd146102b15780631a71d3db146102dc57806323b872dd146103335780632acd2000146103b8578063313ce567146103fb57806351c3b8a61461042c578063526606c91461049057806370a08231146104d357806375f12b211461052a57806378b83360146105595780637a9e5e4b146105ce5780638da5cb5b1461061157806395d89b4114610668578063a9059cbb146106f8578063b8a1fdb61461075d578063be9a6555146107e3578063bf7e214f146107fa578063c47f002714610851578063c783fb10146108ba578063dd62ed3e14610911578063ed8a9c0f14610988575b34801561015557600080fd5b506000151561016057fe5b005b34801561016e57600080fd5b506101776109cb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101b757808201518184015260208101905061019c565b50505050905090810190601f1680156101e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101fe57600080fd5b50610207610a69565b005b34801561021557600080fd5b50610254600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b6b565b604051808215151515815260200191505060405180910390f35b34801561027a57600080fd5b506102af600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d33565b005b3480156102bd57600080fd5b506102c6610e15565b6040518082815260200191505060405180910390f35b3480156102e857600080fd5b5061031d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1f565b6040518082815260200191505060405180910390f35b34801561033f57600080fd5b5061039e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e6b565b604051808215151515815260200191505060405180910390f35b3480156103c457600080fd5b506103f9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d7565b005b34801561040757600080fd5b506104106112e7565b604051808260ff1660ff16815260200191505060405180910390f35b34801561043857600080fd5b5061048e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff1690602001909291905050506112fa565b005b34801561049c57600080fd5b506104d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114c0565b005b3480156104df57600080fd5b50610514600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115d0565b6040518082815260200191505060405180910390f35b34801561053657600080fd5b5061053f611619565b604051808215151515815260200191505060405180910390f35b34801561056557600080fd5b506105a4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b604051808481526020018381526020018260ff1660ff168152602001935050505060405180910390f35b3480156105da57600080fd5b5061060f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611765565b005b34801561061d57600080fd5b50610626611845565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067457600080fd5b5061067d61186b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106bd5780820151818401526020810190506106a2565b50505050905090810190601f1680156106ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561070457600080fd5b50610743600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611909565b604051808215151515815260200191505060405180910390f35b34801561076957600080fd5b506107c9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190803560ff169060200190929190505050611af7565b604051808215151515815260200191505060405180910390f35b3480156107ef57600080fd5b506107f8611b91565b005b34801561080657600080fd5b5061080f611c94565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561085d57600080fd5b506108b8600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611cb9565b005b3480156108c657600080fd5b506108fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d0c565b6040518082815260200191505060405180910390f35b34801561091d57600080fd5b50610972600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e5c565b6040518082815260200191505060405180910390f35b34801561099457600080fd5b506109c9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ee3565b005b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610a615780601f10610a3657610100808354040283529160200191610a61565b820191906000526020600020905b815481529060010190602001808311610a4457829003601f168201915b505050505081565b610a97336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515610aa257600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a460018060146101000a81548160ff0219169083151502179055505050565b6000600160149054906101000a900460ff16151515610b8957600080fd5b6044600036905010151515610b9d57600080fd5b6000821480610c2857506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b1515610c3357600080fd5b60055482101515610c4357600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b610d61336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515610d6c57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b6000600554905090565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050919050565b600080600160149054906101000a900460ff16151515610e8a57600080fd5b60055483101515610e9a57600080fd5b82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610f2557600080fd5b610f2e85611ee3565b610f3785611d0c565b9050828110151515610f4857600080fd5b610fce600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611097600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611123600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612341565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b611205336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561121057600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632acd2000826040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156112cc57600080fd5b505af11580156112e0573d6000803e3d6000fd5b5050505050565b600460009054906101000a900460ff1681565b600061130461235d565b611332336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561133d57600080fd5b600160149054906101000a900460ff1615151561135957600080fd5b844210151561136757600080fd5b6005548410151561137757600080fd5b61138086611ee3565b61138986611d0c565b915083821015151561139a57600080fd5b6060604051908101604052808681526020018581526020018460ff168152509050600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190806001815401808255809150509060018203906000526020600020906003020160009091929091909150600082015181600001556020820151816001015560408201518160020160006101000a81548160ff021916908360ff1602179055505050508260ff168673ffffffffffffffffffffffffffffffffffffffff167f8353c9c8e6b29f14bab2183a16c2ffce362ad474a75fc1adfd390a554a9532d28787604051808381526020018281526020019250505060405180910390a3505050505050565b6114ee336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b15156114f957600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663526606c9826040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156115b557600080fd5b505af11580156115c9573d6000803e3d6000fd5b5050505050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160149054906101000a900460ff1681565b6000806000600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561167d57fe5b906000526020600020906003020160000154600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020858154811015156116db57fe5b906000526020600020906003020160010154600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208681548110151561173957fe5b906000526020600020906003020160020160009054906101000a900460ff169250925092509250925092565b611793336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561179e57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119015780601f106118d657610100808354040283529160200191611901565b820191906000526020600020905b8154815290600101906020018083116118e457829003601f168201915b505050505081565b600080600160149054906101000a900460ff1615151561192857600080fd5b604460003690501015151561193c57600080fd5b6005548310151561194c57600080fd5b61195533611ee3565b61195e33611d0c565b905082811015151561196f57600080fd5b6119b8600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a44600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612341565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b6000611b27336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611b3257600080fd5b600160149054906101000a900460ff16151515611b4e57600080fd5b60055485101515611b5e57600080fd5b848411151515611b6d57600080fd5b611b778686611909565b50611b84868486856112fa565b6001905095945050505050565b611bbf336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611bca57600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46000600160146101000a81548160ff0219169083151502179055505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611ce7336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611cf257600080fd5b8060029080519060200190611d08929190612382565b5050565b600060606000806000600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020016000905b82821015611dd857838290600052602060002090600302016060604051908101604052908160008201548152602001600182015481526020016002820160009054906101000a900460ff1660ff1660ff168152505081526020019060010190611d74565b50505050935083519250611deb866115d0565b9150600090505b82811015611e5057428482815181101515611e0957fe5b90602001906020020151600001511115611e4557611e42828583815181101515611e2f57fe5b9060200190602002015160200151612325565b91505b806001019050611df2565b81945050505050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600080600080600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020935083805490509250600091505b82821015611f7857428483815481101515611f4d57fe5b906000526020600020906003020160000154111515611f6b57611f78565b8180600101925050611f36565b6001820190505b8282108015611f8d57508281105b1561204c57428482815481101515611fa157fe5b906000526020600020906003020160000154111561203f578381815481101515611fc757fe5b90600052602060002090600302018483815481101515611fe357fe5b906000526020600020906003020160008201548160000155600182015481600101556002820160009054906101000a900460ff168160020160006101000a81548160ff021916908360ff16021790555090505081806001019250505b8080600101915050611f7f565b81831415156120a7578184816120629190612402565b508473ffffffffffffffffffffffffffffffffffffffff167f1349c273832f298de87bb3ef2d605b440b294c028baee20ea8711724452fde8560405160405180910390a25b5050505050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156120ed576001905061231f565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561214c576001905061231f565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156121ab576000905061231f565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b1580156122e157600080fd5b505af11580156122f5573d6000803e3d6000fd5b505050506040513d602081101561230b57600080fd5b810190808051906020019092919050505090505b92915050565b6000828284039150811115151561233b57600080fd5b92915050565b6000828284019150811015151561235757600080fd5b92915050565b6060604051908101604052806000815260200160008152602001600060ff1681525090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106123c357805160ff19168380011785556123f1565b828001600101855582156123f1579182015b828111156123f05782518255916020019190600101906123d5565b5b5090506123fe9190612434565b5090565b81548183558181111561242f5760030281600302836000526020600020918201910161242e9190612459565b5b505050565b61245691905b8082111561245257600081600090555060010161243a565b5090565b90565b61249991905b808211156124955760008082016000905560018201600090556002820160006101000a81549060ff02191690555060030161245f565b5090565b905600a165627a7a723058201e1365959884f7db1f33257ff39a6ff3312d30528dfe04cc6dbbd46268ef741b0029608060405234801561001057600080fd5b5061070d806100206000396000f300608060405260043610610062576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680632acd200014610067578063526606c9146100aa5780636c65fd6a146100ed578063b700961314610148575b600080fd5b34801561007357600080fd5b506100a8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506101ec565b005b3480156100b657600080fd5b506100eb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610354565b005b3480156100f957600080fd5b5061012e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061045c565b604051808215151515815260200191505060405180910390f35b34801561015457600080fd5b506101d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690602001909291905050506104f8565b604051808215151515815260200191505060405180910390f35b60008061027f600080548060200260200160405190810160405280929190818152602001828054801561027457602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161022a575b5050505050846105f4565b915060008212151561034f578190505b600160008054905003811015610338576000600182018154811015156102b157fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166000828154811015156102eb57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061028f565b600080548091906001900361034d9190610690565b505b505050565b60006103e660008054806020026020016040519081016040528092919081815260200182805480156103db57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610391575b5050505050836105f4565b905060008112156104585760008290806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b5050565b6000806104ef60008054806020026020016040519081016040528092919081815260200182805480156104e457602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161049a575b5050505050846105f4565b12159050919050565b60006105038461045c565b80156105da57506351c3b8a67c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806105d9575063b8a1fdb67c0100000000000000000000000000000000000000000000000000000000027bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b5b156105e857600190506105ed565b600090505b9392505050565b600080600090505b8351811015610665578273ffffffffffffffffffffffffffffffffffffffff16848281518110151561062a57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff16141561065857809150610689565b80806001019150506105fc565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff91505b5092915050565b8154818355818111156106b7578183600052602060002091820191016106b691906106bc565b5b505050565b6106de91905b808211156106da5760008160009055506001016106c2565b5090565b905600a165627a7a7230582035b9f3996ce9b0003548e154705dbc46293428befc55530c195c5a652a58fd52002900000000000000000000000000000000000000000019a4815e0ad0c67f000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000000b4d6172732043656e74657200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024d43000000000000000000000000000000000000000000000000000000000000

0x608060405260043610610149576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461016257806307da68f5146101f2578063095ea7b31461020957806313af40351461026e57806318160ddd146102b15780631a71d3db146102dc57806323b872dd146103335780632acd2000146103b8578063313ce567146103fb57806351c3b8a61461042c578063526606c91461049057806370a08231146104d357806375f12b211461052a57806378b83360146105595780637a9e5e4b146105ce5780638da5cb5b1461061157806395d89b4114610668578063a9059cbb146106f8578063b8a1fdb61461075d578063be9a6555146107e3578063bf7e214f146107fa578063c47f002714610851578063c783fb10146108ba578063dd62ed3e14610911578063ed8a9c0f14610988575b34801561015557600080fd5b506000151561016057fe5b005b34801561016e57600080fd5b506101776109cb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101b757808201518184015260208101905061019c565b50505050905090810190601f1680156101e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101fe57600080fd5b50610207610a69565b005b34801561021557600080fd5b50610254600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b6b565b604051808215151515815260200191505060405180910390f35b34801561027a57600080fd5b506102af600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d33565b005b3480156102bd57600080fd5b506102c6610e15565b6040518082815260200191505060405180910390f35b3480156102e857600080fd5b5061031d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e1f565b6040518082815260200191505060405180910390f35b34801561033f57600080fd5b5061039e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e6b565b604051808215151515815260200191505060405180910390f35b3480156103c457600080fd5b506103f9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d7565b005b34801561040757600080fd5b506104106112e7565b604051808260ff1660ff16815260200191505060405180910390f35b34801561043857600080fd5b5061048e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff1690602001909291905050506112fa565b005b34801561049c57600080fd5b506104d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114c0565b005b3480156104df57600080fd5b50610514600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115d0565b6040518082815260200191505060405180910390f35b34801561053657600080fd5b5061053f611619565b604051808215151515815260200191505060405180910390f35b34801561056557600080fd5b506105a4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b604051808481526020018381526020018260ff1660ff168152602001935050505060405180910390f35b3480156105da57600080fd5b5061060f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611765565b005b34801561061d57600080fd5b50610626611845565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067457600080fd5b5061067d61186b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106bd5780820151818401526020810190506106a2565b50505050905090810190601f1680156106ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561070457600080fd5b50610743600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611909565b604051808215151515815260200191505060405180910390f35b34801561076957600080fd5b506107c9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019092919080359060200190929190803560ff169060200190929190505050611af7565b604051808215151515815260200191505060405180910390f35b3480156107ef57600080fd5b506107f8611b91565b005b34801561080657600080fd5b5061080f611c94565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561085d57600080fd5b506108b8600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611cb9565b005b3480156108c657600080fd5b506108fb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d0c565b6040518082815260200191505060405180910390f35b34801561091d57600080fd5b50610972600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e5c565b6040518082815260200191505060405180910390f35b34801561099457600080fd5b506109c9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ee3565b005b60028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610a615780601f10610a3657610100808354040283529160200191610a61565b820191906000526020600020905b815481529060010190602001808311610a4457829003601f168201915b505050505081565b610a97336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515610aa257600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a460018060146101000a81548160ff0219169083151502179055505050565b6000600160149054906101000a900460ff16151515610b8957600080fd5b6044600036905010151515610b9d57600080fd5b6000821480610c2857506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b1515610c3357600080fd5b60055482101515610c4357600080fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b610d61336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515610d6c57600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b6000600554905090565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490509050919050565b600080600160149054906101000a900460ff16151515610e8a57600080fd5b60055483101515610e9a57600080fd5b82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610f2557600080fd5b610f2e85611ee3565b610f3785611d0c565b9050828110151515610f4857600080fd5b610fce600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611097600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611123600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612341565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a360019150509392505050565b611205336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561121057600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632acd2000826040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156112cc57600080fd5b505af11580156112e0573d6000803e3d6000fd5b5050505050565b600460009054906101000a900460ff1681565b600061130461235d565b611332336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561133d57600080fd5b600160149054906101000a900460ff1615151561135957600080fd5b844210151561136757600080fd5b6005548410151561137757600080fd5b61138086611ee3565b61138986611d0c565b915083821015151561139a57600080fd5b6060604051908101604052808681526020018581526020018460ff168152509050600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190806001815401808255809150509060018203906000526020600020906003020160009091929091909150600082015181600001556020820151816001015560408201518160020160006101000a81548160ff021916908360ff1602179055505050508260ff168673ffffffffffffffffffffffffffffffffffffffff167f8353c9c8e6b29f14bab2183a16c2ffce362ad474a75fc1adfd390a554a9532d28787604051808381526020018281526020019250505060405180910390a3505050505050565b6114ee336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b15156114f957600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663526606c9826040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b1580156115b557600080fd5b505af11580156115c9573d6000803e3d6000fd5b5050505050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160149054906101000a900460ff1681565b6000806000600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561167d57fe5b906000526020600020906003020160000154600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020858154811015156116db57fe5b906000526020600020906003020160010154600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208681548110151561173957fe5b906000526020600020906003020160020160009054906101000a900460ff169250925092509250925092565b611793336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b151561179e57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119015780601f106118d657610100808354040283529160200191611901565b820191906000526020600020905b8154815290600101906020018083116118e457829003601f168201915b505050505081565b600080600160149054906101000a900460ff1615151561192857600080fd5b604460003690501015151561193c57600080fd5b6005548310151561194c57600080fd5b61195533611ee3565b61195e33611d0c565b905082811015151561196f57600080fd5b6119b8600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612325565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a44600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484612341565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b6000611b27336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611b3257600080fd5b600160149054906101000a900460ff16151515611b4e57600080fd5b60055485101515611b5e57600080fd5b848411151515611b6d57600080fd5b611b778686611909565b50611b84868486856112fa565b6001905095945050505050565b611bbf336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611bca57600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46000600160146101000a81548160ff0219169083151502179055505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611ce7336000357fffffffff00000000000000000000000000000000000000000000000000000000166120ae565b1515611cf257600080fd5b8060029080519060200190611d08929190612382565b5050565b600060606000806000600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020016000905b82821015611dd857838290600052602060002090600302016060604051908101604052908160008201548152602001600182015481526020016002820160009054906101000a900460ff1660ff1660ff168152505081526020019060010190611d74565b50505050935083519250611deb866115d0565b9150600090505b82811015611e5057428482815181101515611e0957fe5b90602001906020020151600001511115611e4557611e42828583815181101515611e2f57fe5b9060200190602002015160200151612325565b91505b806001019050611df2565b81945050505050919050565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600080600080600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020935083805490509250600091505b82821015611f7857428483815481101515611f4d57fe5b906000526020600020906003020160000154111515611f6b57611f78565b8180600101925050611f36565b6001820190505b8282108015611f8d57508281105b1561204c57428482815481101515611fa157fe5b906000526020600020906003020160000154111561203f578381815481101515611fc757fe5b90600052602060002090600302018483815481101515611fe357fe5b906000526020600020906003020160008201548160000155600182015481600101556002820160009054906101000a900460ff168160020160006101000a81548160ff021916908360ff16021790555090505081806001019250505b8080600101915050611f7f565b81831415156120a7578184816120629190612402565b508473ffffffffffffffffffffffffffffffffffffffff167f1349c273832f298de87bb3ef2d605b440b294c028baee20ea8711724452fde8560405160405180910390a25b5050505050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156120ed576001905061231f565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561214c576001905061231f565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156121ab576000905061231f565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b1580156122e157600080fd5b505af11580156122f5573d6000803e3d6000fd5b505050506040513d602081101561230b57600080fd5b810190808051906020019092919050505090505b92915050565b6000828284039150811115151561233b57600080fd5b92915050565b6000828284019150811015151561235757600080fd5b92915050565b6060604051908101604052806000815260200160008152602001600060ff1681525090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106123c357805160ff19168380011785556123f1565b828001600101855582156123f1579182015b828111156123f05782518255916020019190600101906123d5565b5b5090506123fe9190612434565b5090565b81548183558181111561242f5760030281600302836000526020600020918201910161242e9190612459565b5b505050565b61245691905b8082111561245257600081600090555060010161243a565b5090565b90565b61249991905b808211156124955760008082016000905560018201600090556002820160006101000a81549060ff02191690555060030161245f565b5090565b905600a165627a7a723058201e1365959884f7db1f33257ff39a6ff3312d30528dfe04cc6dbbd46268ef741b0029

00000000000000000000000000000000000000000019a4815e0ad0c67f000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000000b4d6172732043656e74657200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024d43000000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : token_supply (uint256): 31000000000000000000000000
Arg [1] : token_name (string): Mars Center
Arg [2] : token_symbol (string): MC

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000019a4815e0ad0c67f000000
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [3] : 000000000000000000000000000000000000000000000000000000000000000b
Arg [4] : 4d6172732043656e746572000000000000000000000000000000000000000000
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000002
Arg [6] : 4d43000000000000000000000000000000000000000000000000000000000000

7602:5124:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7602:5124:0;4938:5;4931:13;;;;;;7602:5124;4401:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4401:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4401:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1924:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1924:66:0;;;;;;5267:481;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5267:481:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;514:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;514:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5042:96;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5042:96:0;;;;;;;;;;;;;;;;;;;;;;;9855:132;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9855:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12015:708;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12015:708:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8208:121;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8208:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4453:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4453:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10261:647;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10261:647:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8085:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8085:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5146:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5146:113:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1823:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1823:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9995:258;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9995:258:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;650:156;;8:9:-1;5:2;;;30:1;27;20:12;5:2;650:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;374:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;374:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4426:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4426:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4426:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11391:616;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11391:616:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10916:467;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10916:467:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1998:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1998:68:0;;;;;;337:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;337:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4960:74;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4960:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9396:451;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9396:451:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5756:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5756:142:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8511:877;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8511:877:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4401:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1924:66::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;1537:11;1559;1627:1;1614:15;1607:22;;1663:2;1650:16;1643:23;;1728:3;1694:59;;;1723:3;1694:59;;;1711:10;1694:59;;1702:7;;;;1694:59;;;1733:9;1744:8;;1694:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1978:4;1968:7;;:14;;;;;;;;;;;;;;;;;;892:1;;1924:66::o;5267:481::-;5344:4;1890:7;;;;;;;;;;;1889:8;1881:17;;;;;;;;5388:12;5369:8;;:15;;:31;;5361:40;;;;;;;;5430:1;5420:6;:11;:53;;;;5472:1;5435:11;:23;5447:10;5435:23;;;;;;;;;;;;;;;:33;5459:8;5435:33;;;;;;;;;;;;;;;;:38;5420:53;5412:62;;;;;;;;5595:13;;5586:6;:22;5578:31;;;;;;;;5658:6;5622:11;:23;5634:10;5622:23;;;;;;;;;;;;;;;:33;5646:8;5622:33;;;;;;;;;;;;;;;:42;;;;5701:8;5680:38;;5689:10;5680:38;;;5711:6;5680:38;;;;;;;;;;;;;;;;;;5736:4;5729:11;;5267:481;;;;:::o;514:128::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;594:6;586:5;;:14;;;;;;;;;;;;;;;;;;628:5;;;;;;;;;;;616:18;;;;;;;;;;;;514:128;:::o;5042:96::-;5090:7;5117:13;;5110:20;;5042:96;:::o;9855:132::-;9927:4;9951:15;:21;9967:4;9951:21;;;;;;;;;;;;;;;:28;;;;9944:35;;9855:132;;;:::o;12015:708::-;12107:4;12359:15;1890:7;;;;;;;;;;;1889:8;1881:17;;;;;;;;12234:13;;12225:6;:22;12217:31;;;;;;;;12301:6;12267:11;:18;12279:5;12267:18;;;;;;;;;;;;;;;:30;12286:10;12267:30;;;;;;;;;;;;;;;;:40;;12259:49;;;;;;;;12321:27;12342:5;12321:20;:27::i;:::-;12377:21;12392:5;12377:14;:21::i;:::-;12359:39;;12433:6;12419:10;:20;;12411:29;;;;;;;;12486:43;12490:11;:18;12502:5;12490:18;;;;;;;;;;;;;;;:30;12509:10;12490:30;;;;;;;;;;;;;;;;12522:6;12486:3;:43::i;:::-;12453:11;:18;12465:5;12453:18;;;;;;;;;;;;;;;:30;12472:10;12453:30;;;;;;;;;;;;;;;:76;;;;12560:30;12564:10;:17;12575:5;12564:17;;;;;;;;;;;;;;;;12583:6;12560:3;:30::i;:::-;12540:10;:17;12551:5;12540:17;;;;;;;;;;;;;;;:50;;;;12619:28;12623:10;:15;12634:3;12623:15;;;;;;;;;;;;;;;;12640:6;12619:3;:28::i;:::-;12601:10;:15;12612:3;12601:15;;;;;;;;;;;;;;;:46;;;;12681:3;12665:28;;12674:5;12665:28;;;12686:6;12665:28;;;;;;;;;;;;;;;;;;12711:4;12704:11;;12015:708;;;;;;:::o;8208:121::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;8288:9;;;;;;;;;;;8271:41;;;8313:7;8271:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8271:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8271:50:0;;;;8208:121;:::o;4453:26::-;;;;;;;;;;;;;:::o;10261:647::-;10604:18;10704:24;;:::i;:::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;1890:7;;;;;;;;;;;1889:8;1881:17;;;;;;;;10408:9;10390:15;:27;10382:36;;;;;;;;10542:13;;10530:9;:25;10522:34;;;;;;;;10567:26;10588:4;10567:20;:26::i;:::-;10625:20;10640:4;10625:14;:20::i;:::-;10604:41;;10681:9;10664:13;:26;;10656:35;;;;;;;;10731:49;;;;;;;;;10744:9;10731:49;;;;10755:9;10731:49;;;;10766:13;10731:49;;;;;10704:76;;10791:15;:21;10807:4;10791:21;;;;;;;;;;;;;;;10818:4;10791:32;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;10791:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10886:13;10841:59;;10858:4;10841:59;;;10864:9;10875;10841:59;;;;;;;;;;;;;;;;;;;;;;;;10261:647;;;;;;:::o;8085:115::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;8162:9;;;;;;;;;;;8145:38;;;8184:7;8145:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8145:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8145:47:0;;;;8085:115;:::o;5146:113::-;5206:7;5233:10;:18;5244:6;5233:18;;;;;;;;;;;;;;;;5226:25;;5146:113;;;:::o;1823:19::-;;;;;;;;;;;;;:::o;9995:258::-;10077:4;10083;10089:5;10115:15;:21;10131:4;10115:21;;;;;;;;;;;;;;;10137:5;10115:28;;;;;;;;;;;;;;;;;;;;:38;;;10155:15;:21;10171:4;10155:21;;;;;;;;;;;;;;;10177:5;10155:28;;;;;;;;;;;;;;;;;;;;:38;;;10201:15;:21;10217:4;10201:21;;;;;;;;;;;;;;;10223:5;10201:28;;;;;;;;;;;;;;;;;;;;:42;;;;;;;;;;;;10107:138;;;;;;9995:258;;;;;:::o;650:156::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;746:10;734:9;;:22;;;;;;;;;;;;;;;;;;788:9;;;;;;;;;;;772:26;;;;;;;;;;;;650:156;:::o;374:26::-;;;;;;;;;;;;;:::o;4426:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;11391:616::-;11464:4;11710:15;1890:7;;;;;;;;;;;1889:8;1881:17;;;;;;;;11508:12;11489:8;;:15;;:31;;11481:40;;;;;;;;11642:13;;11633:6;:22;11625:31;;;;;;;;11667:32;11688:10;11667:20;:32::i;:::-;11728:26;11743:10;11728:14;:26::i;:::-;11710:44;;11789:6;11775:10;:20;;11767:29;;;;;;;;11834:35;11838:10;:22;11849:10;11838:22;;;;;;;;;;;;;;;;11862:6;11834:3;:35::i;:::-;11809:10;:22;11820:10;11809:22;;;;;;;;;;;;;;;:60;;;;11898:28;11902:10;:15;11913:3;11902:15;;;;;;;;;;;;;;;;11919:6;11898:3;:28::i;:::-;11880:10;:15;11891:3;11880:15;;;;;;;;;;;;;;;:46;;;;11965:3;11944:33;;11953:10;11944:33;;;11970:6;11944:33;;;;;;;;;;;;;;;;;;11995:4;11988:11;;11391:616;;;;;:::o;10916:467::-;11065:4;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;1890:7;;;;;;;;;;;1889:8;1881:17;;;;;;;;11192:13;;11183:6;:22;11175:31;;;;;;;;11242:6;11225:13;:23;;11217:32;;;;;;;;11262:21;11271:3;11276:6;11262:8;:21::i;:::-;;11294:57;11306:3;11311:9;11322:13;11337;11294:11;:57::i;:::-;11371:4;11364:11;;10916:467;;;;;;;:::o;1998:68::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;1537:11;1559;1627:1;1614:15;1607:22;;1663:2;1650:16;1643:23;;1728:3;1694:59;;;1723:3;1694:59;;;1711:10;1694:59;;1702:7;;;;1694:59;;;1733:9;1744:8;;1694:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2053:5;2043:7;;:15;;;;;;;;;;;;;;;;;;892:1;;1998:68::o;337:30::-;;;;;;;;;;;;;:::o;4960:74::-;847:33;860:10;872:7;;;;847:12;:33::i;:::-;839:42;;;;;;;;5021:5;5014:4;:12;;;;;;;;;;;;:::i;:::-;;4960:74;:::o;9396:451::-;9459:4;9476:27;9538:11;9575:16;9627:6;9506:15;:21;9522:4;9506:21;;;;;;;;;;;;;;;9476:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9552:5;:12;9538:26;;9594:15;9604:4;9594:9;:15::i;:::-;9575:34;;9636:1;9627:10;;9622:187;9643:6;9639:1;:10;9622:187;;;9696:15;9675:5;9681:1;9675:8;;;;;;;;;;;;;;;;;;:18;;;:36;9671:127;;;9746:36;9750:11;9763:5;9769:1;9763:8;;;;;;;;;;;;;;;;;;:18;;;9746:3;:36::i;:::-;9732:50;;9671:127;9651:3;;;;;9622:187;;;9828:11;9821:18;;9396:451;;;;;;;:::o;5756:142::-;5834:7;5861:11;:19;5873:6;5861:19;;;;;;;;;;;;;;;:29;5881:8;5861:29;;;;;;;;;;;;;;;;5854:36;;5756:142;;;;:::o;8511:877::-;8573:28;8636:11;8712:9;8971:10;8604:15;:21;8620:4;8604:21;;;;;;;;;;;;;;;8573:52;;8650:5;:12;;;;8636:26;;8724:1;8712:13;;8736:193;8750:6;8743:4;:13;8736:193;;;8840:15;8815:5;8821:4;8815:11;;;;;;;;;;;;;;;;;;;;:21;;;:40;;8811:86;;;8876:5;;8811:86;8911:6;;;;;;;8736:193;;;8991:1;8984:4;:8;8971:21;;9003:251;9017:6;9010:4;:13;:31;;;;;9035:6;9027:5;:14;9010:31;9003:251;;;9118:15;9093:5;9099;9093:12;;;;;;;;;;;;;;;;;;;;:22;;;:40;9089:132;;;9168:5;9174;9168:12;;;;;;;;;;;;;;;;;;;;9154:5;9160:4;9154:11;;;;;;;;;;;;;;;;;;;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9199:6;;;;;;;9089:132;9235:7;;;;;;;9003:251;;;9278:4;9268:6;:14;;9264:117;;;9314:4;9299:5;:19;;;;;:::i;:::-;;9364:4;9338:31;;;;;;;;;;;;9264:117;8511:877;;;;;:::o;909:371::-;979:4;1015;1000:20;;:3;:20;;;996:277;;;1044:4;1037:11;;;;996:277;1077:5;;;;;;;;;;;1070:12;;:3;:12;;;1066:207;;;1106:4;1099:11;;;;1066:207;1157:1;1132:27;;:9;;;;;;;;;;;:27;;;1128:145;;;1183:5;1176:12;;;;1128:145;1228:9;;;;;;;;;;;:17;;;1246:3;1251:4;1257:3;1228:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1228:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1228:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1228:33:0;;;;;;;;;;;;;;;;1221:40;;909:371;;;;;:::o;2208:104::-;2260:6;2302:1;2296;2292;:5;2288:9;;;2287:16;;2279:25;;;;;;;;2208:104;;;;:::o;2096:::-;2148:6;2190:1;2184;2180;:5;2176:9;;;2175:16;;2167:25;;;;;;;;2096:104;;;;:::o;7602:5124::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://35b9f3996ce9b0003548e154705dbc46293428befc55530c195c5a652a58fd52