Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Owned
•    - function setOwner(address _new)
•  contract FrozenToken is Owned
•    - function balanceOf(address _who)
•    - function makeLiquid(address _to)
•    - function transfer(address _to, uint25 ...
•    - function()
•  contract Claims is Owned *
•    - function amend(address[] calldata _or ...
•    - function setVesting(address[] calldat ...
•    - function assignIndices(address[] call ...
•    - function claim(address _eth, bytes32 ...
•    - function claimedLength()
•    - function hasClaimed(address _eth)
•    - function assignNextIndex(address _eth ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-17
*/

pragma solidity 0.5.9;

// File: contracts/FrozenToken.sol

/**
 * Source Code first verified at https://etherscan.io on Wednesday, October 11, 2017
 (UTC) */

//! FrozenToken ECR20-compliant token contract
//! By Parity Technologies, 2017.
//! Released under the Apache Licence 2.

pragma solidity ^0.5.0;

// Owned contract.
contract Owned {
	modifier only_owner { require (msg.sender == owner, "Only owner"); _; }

	event NewOwner(address indexed old, address indexed current);

	function setOwner(address _new) public only_owner { emit NewOwner(owner, _new); owner = _new; }

	address public owner;
}

// FrozenToken, a bit like an ECR20 token (though not - as it doesn't
// implement most of the API).
// All token balances are generally non-transferable.
// All "tokens" belong to the owner (who is uniquely liquid) at construction.
// Liquid accounts can make other accounts liquid and send their tokens
// to other axccounts.
contract FrozenToken is Owned {
	event Transfer(address indexed from, address indexed to, uint256 value);

	// this is as basic as can be, only the associated balance & allowances
	struct Account {
		uint balance;
		bool liquid;
	}

	// constructor sets the parameters of execution, _totalSupply is all units
	constructor(uint _totalSupply, address _owner)
        public
		when_non_zero(_totalSupply)
	{
		totalSupply = _totalSupply;
		owner = _owner;
		accounts[_owner].balance = totalSupply;
		accounts[_owner].liquid = true;
	}

	// balance of a specific address
	function balanceOf(address _who) public view returns (uint256) {
		return accounts[_who].balance;
	}

	// make an account liquid: only liquid accounts can do this.
	function makeLiquid(address _to)
		public
		when_liquid(msg.sender)
		returns(bool)
	{
		accounts[_to].liquid = true;
		return true;
	}

	// transfer
	function transfer(address _to, uint256 _value)
		public
		when_owns(msg.sender, _value)
		when_liquid(msg.sender)
		returns(bool)
	{
		emit Transfer(msg.sender, _to, _value);
		accounts[msg.sender].balance -= _value;
		accounts[_to].balance += _value;

		return true;
	}

	// no default function, simple contract only, entry-level users
	function() external {
		assert(false);
	}

	// the balance should be available
	modifier when_owns(address _owner, uint _amount) {
		require (accounts[_owner].balance >= _amount);
		_;
	}

	modifier when_liquid(address who) {
		require (accounts[who].liquid);
		_;
	}

	// a value should be > 0
	modifier when_non_zero(uint _value) {
		require (_value > 0);
		_;
	}

	// Available token supply
	uint public totalSupply;

	// Storage and mapping of all balances & allowances
	mapping (address => Account) accounts;

	// Conventional metadata.
	string public constant name = "DOT Allocation Indicator";
	string public constant symbol = "DOT";
	uint8 public constant decimals = 3;
}

// File: contracts/Claims.sol

/// @author Web3 Foundation
/// @title  Claims
///         Allows allocations to be claimed to Polkadot public keys.
contract Claims is Owned {

    struct Claim {
        uint    index;          // Index for short address.
        bytes32 pubKey;         // Ed25519/SR25519 public key.
        bool    hasIndex;       // Has the index been set?
        uint    vested;         // Amount of allocation that is vested.
    }

    // The address of the allocation indicator contract.
    FrozenToken public allocationIndicator; // 0xb59f67A8BfF5d8Cd03f6AC17265c550Ed8F33907

    // The next index to be assigned.
    uint public nextIndex;

    // Maps allocations to `Claim` data.
    mapping (address => Claim) public claims;

    // Addresses that already claimed so we can easily grab them from state.
    address[] public claimed;

    // Amended keys, old address => new address. New address is allowed to claim for old address.
    mapping (address => address) public amended;

    // Event for when an allocation address amendment is made.
    event Amended(address indexed original, address indexed amendedTo);
    // Event for when an allocation is claimed to a Polkadot address.
    event Claimed(address indexed eth, bytes32 indexed dot, uint indexed idx);
    // Event for when an index is assigned to an allocation.
    event IndexAssigned(address indexed eth, uint indexed idx);
    // Event for when vesting is set on an allocation.
    event Vested(address indexed eth, uint amount);

    constructor(address _owner, address _allocations) public {
        require(_owner != address(0x0), "Must provide an owner address");
        require(_allocations != address(0x0), "Must provide an allocations address");

        owner = _owner;
        allocationIndicator = FrozenToken(_allocations);
    }

    /// Allows owner to manually amend allocations to a new address that can claim.
    /// @dev The given arrays must be same length and index must map directly.
    /// @param _origs An array of original (allocation) addresses.
    /// @param _amends An array of the new addresses which can claim those allocations.
    function amend(address[] calldata _origs, address[] calldata _amends)
        external
        only_owner
    {
        require(
            _origs.length == _amends.length,
            "Must submit arrays of equal length."
        );

        for (uint i = 0; i < _amends.length; i++) {
            require(!hasClaimed(_origs[i]), "Address has already claimed");
            amended[_origs[i]] = _amends[i];
            emit Amended(_origs[i], _amends[i]);
        }
    }

    /// Allows owner to manually toggle vesting onto allocations.
    /// @param _eths The addresses for which to set vesting.
    /// @param _vestingAmts The amounts that the accounts are vested.
    function setVesting(address[] calldata _eths, uint[] calldata _vestingAmts)
        external
        only_owner
    {
        require(_eths.length == _vestingAmts.length, "Must submit arrays of equal length");

        for (uint i = 0; i < _eths.length; i++) {
            Claim storage claimData = claims[_eths[i]];
            require(!hasClaimed(_eths[i]), "Account must not be claimed");
            require(claimData.vested == 0, "Account must not be vested already");
            require(_vestingAmts[i] != 0, "Vesting amount must be greater than zero");
            claimData.vested = _vestingAmts[i];
            emit Vested(_eths[i], _vestingAmts[i]);
        }
    }

    /// Allows anyone to assign a batch of indices onto unassigned and unclaimed allocations.
    /// @dev This function is safe because all the necessary checks are made on `assignNextIndex`.
    /// @param _eths An array of all€ocation addresses to assign indices for.
    /// @return bool True is successful.
    function assignIndices(address[] calldata _eths)
        external
    {
        for (uint i = 0; i < _eths.length; i++) {
            require(assignNextIndex(_eths[i]), "Assigning the next index failed");
        }
    }

    /// Claims an allocation associated with an `_eth` address to a `_pubKey` public key.
    /// @dev Can only be called by the `_eth` address or the amended address for the allocation.
    /// @param _eth The allocation address to claim.
    /// @param _pubKey The Polkadot public key to claim.
    /// @return True if successful.
    function claim(address _eth, bytes32 _pubKey)
        external
        has_allocation(_eth)
        not_claimed(_eth)
    {
        require(_pubKey != bytes32(0), "Failed to provide an Ed25519 or SR25519 public key");
        
        if (amended[_eth] != address(0x0)) {
            require(amended[_eth] == msg.sender, "Address is amended and sender is not the amendment");
        } else {
            require(_eth == msg.sender, "Sender is not the allocation address");
        }

        if (claims[_eth].index == 0 && !claims[_eth].hasIndex) {
            require(assignNextIndex(_eth), "Assigning the next index failed");
        }

        claims[_eth].pubKey = _pubKey;
        claimed.push(_eth);

        emit Claimed(_eth, _pubKey, claims[_eth].index);
    }

    /// Get the length of `claimed`.
    /// @return uint The number of accounts that have claimed.
    function claimedLength()
        external view returns (uint)
    {   
        return claimed.length;
    }

    /// Get whether an allocation has been claimed.
    /// @return bool True if claimed.
    function hasClaimed(address _eth)
        has_allocation(_eth)
        public view returns (bool)
    {
        return claims[_eth].pubKey != bytes32(0);
    }

    /// Assings an index to an allocation address.
    /// @dev Public function.
    /// @param _eth The allocation address.
    function assignNextIndex(address _eth)
        has_allocation(_eth)
        not_claimed(_eth)
        internal returns (bool)
    {
        require(claims[_eth].index == 0, "Cannot reassign an index.");
        require(!claims[_eth].hasIndex, "Address has already been assigned an index");
        uint idx = nextIndex;
        nextIndex++;
        claims[_eth].index = idx;
        claims[_eth].hasIndex = true;
        emit IndexAssigned(_eth, idx);
        return true;
    }

    /// @dev Requires that `_eth` address has DOT allocation.
    modifier has_allocation(address _eth) {
        uint bal = allocationIndicator.balanceOf(_eth);
        require(
            bal > 0,
            "Ethereum address has no DOT allocation"
        );
        _;
    }

    /// @dev Requires that `_eth` address has not claimed.
    modifier not_claimed(address _eth) {
        require(
            claims[_eth].pubKey == bytes32(0),
            "Account has already claimed."
        );
        _;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_new","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"allocationIndicator","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_origs","type":"address[]"},{"name":"_amends","type":"address[]"}],"name":"amend","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_eth","type":"address"}],"name":"hasClaimed","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"claimedLength","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_eths","type":"address[]"},{"name":"_vestingAmts","type":"uint256[]"}],"name":"setVesting","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_eths","type":"address[]"}],"name":"assignIndices","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"claims","outputs":[{"name":"index","type":"uint256"},{"name":"pubKey","type":"bytes32"},{"name":"hasIndex","type":"bool"},{"name":"vested","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_eth","type":"address"},{"name":"_pubKey","type":"bytes32"}],"name":"claim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"claimed","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"amended","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"nextIndex","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_owner","type":"address"},{"name":"_allocations","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"original","type":"address"},{"indexed":true,"name":"amendedTo","type":"address"}],"name":"Amended","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"eth","type":"address"},{"indexed":true,"name":"dot","type":"bytes32"},{"indexed":true,"name":"idx","type":"uint256"}],"name":"Claimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"eth","type":"address"},{"indexed":true,"name":"idx","type":"uint256"}],"name":"IndexAssigned","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"eth","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Vested","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"old","type":"address"},{"indexed":true,"name":"current","type":"address"}],"name":"NewOwner","type":"event"}]

608060405234801561001057600080fd5b506040516114063803806114068339818101604052604081101561003357600080fd5b5080516020909101516001600160a01b0382166100b157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4d7573742070726f7669646520616e206f776e65722061646472657373000000604482015290519081900360640190fd5b6001600160a01b038116610110576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806113e36023913960400191505060405180910390fd5b600080546001600160a01b039384166001600160a01b031991821617909155600180549290931691161790556112988061014b6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063c34965291161008c578063c8622c2411610066578063c8622c24146103b2578063dbe7e3bd146103de578063edd83104146103fb578063fc7e9c6f14610421576100cf565b8063c34965291461023a578063c37b85a6146102f8578063c6788bdd14610366576100cf565b806313af4035146100d45780631db2bbe8146100fc57806363aa56b11461012057806373b2e80e146101de5780638da5cb5b1461021857806393e40f7e14610220575b600080fd5b6100fa600480360360208110156100ea57600080fd5b50356001600160a01b0316610429565b005b6101046104d0565b604080516001600160a01b039092168252519081900360200190f35b6100fa6004803603604081101561013657600080fd5b810190602081018135600160201b81111561015057600080fd5b82018360208201111561016257600080fd5b803590602001918460208302840111600160201b8311171561018357600080fd5b919390929091602081019035600160201b8111156101a057600080fd5b8201836020820111156101b257600080fd5b803590602001918460208302840111600160201b831117156101d357600080fd5b5090925090506104df565b610204600480360360208110156101f457600080fd5b50356001600160a01b03166106ef565b604080519115158252519081900360200190f35b6101046107cf565b6102286107de565b60408051918252519081900360200190f35b6100fa6004803603604081101561025057600080fd5b810190602081018135600160201b81111561026a57600080fd5b82018360208201111561027c57600080fd5b803590602001918460208302840111600160201b8311171561029d57600080fd5b919390929091602081019035600160201b8111156102ba57600080fd5b8201836020820111156102cc57600080fd5b803590602001918460208302840111600160201b831117156102ed57600080fd5b5090925090506107e4565b6100fa6004803603602081101561030e57600080fd5b810190602081018135600160201b81111561032857600080fd5b82018360208201111561033a57600080fd5b803590602001918460208302840111600160201b8311171561035b57600080fd5b509092509050610a41565b61038c6004803603602081101561037c57600080fd5b50356001600160a01b0316610ace565b604080519485526020850193909352901515838301526060830152519081900360800190f35b6100fa600480360360408110156103c857600080fd5b506001600160a01b038135169060200135610afa565b610104600480360360208110156103f457600080fd5b5035610e54565b6101046004803603602081101561041157600080fd5b50356001600160a01b0316610e7b565b610228610e96565b6000546001600160a01b03163314610475576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b600080546040516001600160a01b03808516939216917f70aea8d848e8a90fb7661b227dc522eb6395c3dac71b63cb59edd5c9899b236491a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6001546001600160a01b031681565b6000546001600160a01b0316331461052b576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b8281146105695760405162461bcd60e51b815260040180806020018281038252602381526020018061120f6023913960400191505060405180910390fd5b60005b818110156106e85761059885858381811061058357fe5b905060200201356001600160a01b03166106ef565b156105ea576040805162461bcd60e51b815260206004820152601b60248201527f416464726573732068617320616c726561647920636c61696d65640000000000604482015290519081900360640190fd5b8282828181106105f657fe5b905060200201356001600160a01b03166005600087878581811061061657fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160a01b0302191690836001600160a01b0316021790555082828281811061067657fe5b905060200201356001600160a01b03166001600160a01b031685858381811061069b57fe5b905060200201356001600160a01b03166001600160a01b03167f385f6a4b73038a5f14e3482732f99dde086b6fd0930af57604250b72726f439260405160405180910390a360010161056c565b5050505050565b600154604080516370a0823160e01b81526001600160a01b0380851660048301529151600093859385939116916370a0823191602480820192602092909190829003018186803b15801561074257600080fd5b505afa158015610756573d6000803e3d6000fd5b505050506040513d602081101561076c57600080fd5b50519050806107ac5760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b5050506001600160a01b0316600090815260036020526040902060010154151590565b6000546001600160a01b031681565b60045490565b6000546001600160a01b03163314610830576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b82811461086e5760405162461bcd60e51b81526004018080602001828103825260228152602001806111c96022913960400191505060405180910390fd5b60005b838110156106e85760006003600087878581811061088b57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b0316815260200190815260200160002090506108cc86868481811061058357fe5b1561091e576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e74206d757374206e6f7420626520636c61696d65640000000000604482015290519081900360640190fd5b60038101541561095f5760405162461bcd60e51b815260040180806020018281038252602281526020018061117f6022913960400191505060405180910390fd5b83838381811061096b57fe5b90506020020135600014156109b15760405162461bcd60e51b81526004018080602001828103825260288152602001806111a16028913960400191505060405180910390fd5b8383838181106109bd57fe5b60200291909101356003830155508585838181106109d757fe5b905060200201356001600160a01b03166001600160a01b03167ed5958799b183a7b738d3ad5e711305293dd5076a37a4e3b7e6611dea6114f3858585818110610a1c57fe5b905060200201356040518082815260200191505060405180910390a250600101610871565b60005b81811015610ac957610a70838383818110610a5b57fe5b905060200201356001600160a01b0316610e9c565b610ac1576040805162461bcd60e51b815260206004820152601f60248201527f41737369676e696e6720746865206e65787420696e646578206661696c656400604482015290519081900360640190fd5b600101610a44565b505050565b6003602081905260009182526040909120805460018201546002830154929093015490929160ff169084565b600154604080516370a0823160e01b81526001600160a01b0380861660048301529151859360009316916370a08231916024808301926020929190829003018186803b158015610b4957600080fd5b505afa158015610b5d573d6000803e3d6000fd5b505050506040513d6020811015610b7357600080fd5b5051905080610bb35760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b6001600160a01b038416600090815260036020526040902060010154849015610c23576040805162461bcd60e51b815260206004820152601c60248201527f4163636f756e742068617320616c726561647920636c61696d65642e00000000604482015290519081900360640190fd5b83610c5f5760405162461bcd60e51b81526004018080602001828103825260328152602001806112326032913960400191505060405180910390fd5b6001600160a01b038581166000908152600560205260409020541615610cdc576001600160a01b03858116600090815260056020526040902054163314610cd75760405162461bcd60e51b815260040180806020018281038252603281526020018061114d6032913960400191505060405180910390fd5b610d23565b6001600160a01b0385163314610d235760405162461bcd60e51b81526004018080602001828103825260248152602001806111eb6024913960400191505060405180910390fd5b6001600160a01b038516600090815260036020526040902054158015610d6557506001600160a01b03851660009081526003602052604090206002015460ff16155b15610dc457610d7385610e9c565b610dc4576040805162461bcd60e51b815260206004820152601f60248201527f41737369676e696e6720746865206e65787420696e646578206661696c656400604482015290519081900360640190fd5b6001600160a01b03851660008181526003602052604080822060018082018990556004805491820190557f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b0180546001600160a01b031916851790555490519092879290917f9b01158d4bc10c112ba32b5240cda97e49e2eb86021f03f6a0f460342ac4dfda9190a45050505050565b60048181548110610e6157fe5b6000918252602090912001546001600160a01b0316905081565b6005602052600090815260409020546001600160a01b031681565b60025481565b600154604080516370a0823160e01b81526001600160a01b0380851660048301529151600093859385939116916370a0823191602480820192602092909190829003018186803b158015610eef57600080fd5b505afa158015610f03573d6000803e3d6000fd5b505050506040513d6020811015610f1957600080fd5b5051905080610f595760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b6001600160a01b038416600090815260036020526040902060010154849015610fc9576040805162461bcd60e51b815260206004820152601c60248201527f4163636f756e742068617320616c726561647920636c61696d65642e00000000604482015290519081900360640190fd5b6001600160a01b03851660009081526003602052604090205415611034576040805162461bcd60e51b815260206004820152601960248201527f43616e6e6f7420726561737369676e20616e20696e6465782e00000000000000604482015290519081900360640190fd5b6001600160a01b03851660009081526003602052604090206002015460ff161561108f5760405162461bcd60e51b815260040180806020018281038252602a8152602001806110fd602a913960400191505060405180910390fd5b60028054600180820183556001600160a01b038816600081815260036020526040808220858155909501805460ff191690931790925592519192839290917ffe8e0f7f7b06a0461a35a3efd185ab04bf2c1b47d74ced0ad04fc5dda048d4aa91a35060019594505050505056fe416464726573732068617320616c7265616479206265656e2061737369676e656420616e20696e646578457468657265756d206164647265737320686173206e6f20444f5420616c6c6f636174696f6e4164647265737320697320616d656e64656420616e642073656e646572206973206e6f742074686520616d656e646d656e744163636f756e74206d757374206e6f742062652076657374656420616c726561647956657374696e6720616d6f756e74206d7573742062652067726561746572207468616e207a65726f4d757374207375626d697420617272617973206f6620657175616c206c656e67746853656e646572206973206e6f742074686520616c6c6f636174696f6e20616464726573734d757374207375626d697420617272617973206f6620657175616c206c656e6774682e4661696c656420746f2070726f7669646520616e2045643235353139206f722053523235353139207075626c6963206b6579a265627a7a7230582010c8ae3ea26c0301e9bfad943a96f770f81567830694ef0ba13a8fceafce83c764736f6c634300050900324d7573742070726f7669646520616e20616c6c6f636174696f6e73206164647265737300000000000000000000000000444c3281dadacb6e7c55357e5a7bbd92c2dc34000000000000000000000000b59f67a8bff5d8cd03f6ac17265c550ed8f33907

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063c34965291161008c578063c8622c2411610066578063c8622c24146103b2578063dbe7e3bd146103de578063edd83104146103fb578063fc7e9c6f14610421576100cf565b8063c34965291461023a578063c37b85a6146102f8578063c6788bdd14610366576100cf565b806313af4035146100d45780631db2bbe8146100fc57806363aa56b11461012057806373b2e80e146101de5780638da5cb5b1461021857806393e40f7e14610220575b600080fd5b6100fa600480360360208110156100ea57600080fd5b50356001600160a01b0316610429565b005b6101046104d0565b604080516001600160a01b039092168252519081900360200190f35b6100fa6004803603604081101561013657600080fd5b810190602081018135600160201b81111561015057600080fd5b82018360208201111561016257600080fd5b803590602001918460208302840111600160201b8311171561018357600080fd5b919390929091602081019035600160201b8111156101a057600080fd5b8201836020820111156101b257600080fd5b803590602001918460208302840111600160201b831117156101d357600080fd5b5090925090506104df565b610204600480360360208110156101f457600080fd5b50356001600160a01b03166106ef565b604080519115158252519081900360200190f35b6101046107cf565b6102286107de565b60408051918252519081900360200190f35b6100fa6004803603604081101561025057600080fd5b810190602081018135600160201b81111561026a57600080fd5b82018360208201111561027c57600080fd5b803590602001918460208302840111600160201b8311171561029d57600080fd5b919390929091602081019035600160201b8111156102ba57600080fd5b8201836020820111156102cc57600080fd5b803590602001918460208302840111600160201b831117156102ed57600080fd5b5090925090506107e4565b6100fa6004803603602081101561030e57600080fd5b810190602081018135600160201b81111561032857600080fd5b82018360208201111561033a57600080fd5b803590602001918460208302840111600160201b8311171561035b57600080fd5b509092509050610a41565b61038c6004803603602081101561037c57600080fd5b50356001600160a01b0316610ace565b604080519485526020850193909352901515838301526060830152519081900360800190f35b6100fa600480360360408110156103c857600080fd5b506001600160a01b038135169060200135610afa565b610104600480360360208110156103f457600080fd5b5035610e54565b6101046004803603602081101561041157600080fd5b50356001600160a01b0316610e7b565b610228610e96565b6000546001600160a01b03163314610475576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b600080546040516001600160a01b03808516939216917f70aea8d848e8a90fb7661b227dc522eb6395c3dac71b63cb59edd5c9899b236491a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6001546001600160a01b031681565b6000546001600160a01b0316331461052b576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b8281146105695760405162461bcd60e51b815260040180806020018281038252602381526020018061120f6023913960400191505060405180910390fd5b60005b818110156106e85761059885858381811061058357fe5b905060200201356001600160a01b03166106ef565b156105ea576040805162461bcd60e51b815260206004820152601b60248201527f416464726573732068617320616c726561647920636c61696d65640000000000604482015290519081900360640190fd5b8282828181106105f657fe5b905060200201356001600160a01b03166005600087878581811061061657fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160a01b0302191690836001600160a01b0316021790555082828281811061067657fe5b905060200201356001600160a01b03166001600160a01b031685858381811061069b57fe5b905060200201356001600160a01b03166001600160a01b03167f385f6a4b73038a5f14e3482732f99dde086b6fd0930af57604250b72726f439260405160405180910390a360010161056c565b5050505050565b600154604080516370a0823160e01b81526001600160a01b0380851660048301529151600093859385939116916370a0823191602480820192602092909190829003018186803b15801561074257600080fd5b505afa158015610756573d6000803e3d6000fd5b505050506040513d602081101561076c57600080fd5b50519050806107ac5760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b5050506001600160a01b0316600090815260036020526040902060010154151590565b6000546001600160a01b031681565b60045490565b6000546001600160a01b03163314610830576040805162461bcd60e51b815260206004820152600a60248201526927b7363c9037bbb732b960b11b604482015290519081900360640190fd5b82811461086e5760405162461bcd60e51b81526004018080602001828103825260228152602001806111c96022913960400191505060405180910390fd5b60005b838110156106e85760006003600087878581811061088b57fe5b905060200201356001600160a01b03166001600160a01b03166001600160a01b0316815260200190815260200160002090506108cc86868481811061058357fe5b1561091e576040805162461bcd60e51b815260206004820152601b60248201527f4163636f756e74206d757374206e6f7420626520636c61696d65640000000000604482015290519081900360640190fd5b60038101541561095f5760405162461bcd60e51b815260040180806020018281038252602281526020018061117f6022913960400191505060405180910390fd5b83838381811061096b57fe5b90506020020135600014156109b15760405162461bcd60e51b81526004018080602001828103825260288152602001806111a16028913960400191505060405180910390fd5b8383838181106109bd57fe5b60200291909101356003830155508585838181106109d757fe5b905060200201356001600160a01b03166001600160a01b03167ed5958799b183a7b738d3ad5e711305293dd5076a37a4e3b7e6611dea6114f3858585818110610a1c57fe5b905060200201356040518082815260200191505060405180910390a250600101610871565b60005b81811015610ac957610a70838383818110610a5b57fe5b905060200201356001600160a01b0316610e9c565b610ac1576040805162461bcd60e51b815260206004820152601f60248201527f41737369676e696e6720746865206e65787420696e646578206661696c656400604482015290519081900360640190fd5b600101610a44565b505050565b6003602081905260009182526040909120805460018201546002830154929093015490929160ff169084565b600154604080516370a0823160e01b81526001600160a01b0380861660048301529151859360009316916370a08231916024808301926020929190829003018186803b158015610b4957600080fd5b505afa158015610b5d573d6000803e3d6000fd5b505050506040513d6020811015610b7357600080fd5b5051905080610bb35760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b6001600160a01b038416600090815260036020526040902060010154849015610c23576040805162461bcd60e51b815260206004820152601c60248201527f4163636f756e742068617320616c726561647920636c61696d65642e00000000604482015290519081900360640190fd5b83610c5f5760405162461bcd60e51b81526004018080602001828103825260328152602001806112326032913960400191505060405180910390fd5b6001600160a01b038581166000908152600560205260409020541615610cdc576001600160a01b03858116600090815260056020526040902054163314610cd75760405162461bcd60e51b815260040180806020018281038252603281526020018061114d6032913960400191505060405180910390fd5b610d23565b6001600160a01b0385163314610d235760405162461bcd60e51b81526004018080602001828103825260248152602001806111eb6024913960400191505060405180910390fd5b6001600160a01b038516600090815260036020526040902054158015610d6557506001600160a01b03851660009081526003602052604090206002015460ff16155b15610dc457610d7385610e9c565b610dc4576040805162461bcd60e51b815260206004820152601f60248201527f41737369676e696e6720746865206e65787420696e646578206661696c656400604482015290519081900360640190fd5b6001600160a01b03851660008181526003602052604080822060018082018990556004805491820190557f8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b0180546001600160a01b031916851790555490519092879290917f9b01158d4bc10c112ba32b5240cda97e49e2eb86021f03f6a0f460342ac4dfda9190a45050505050565b60048181548110610e6157fe5b6000918252602090912001546001600160a01b0316905081565b6005602052600090815260409020546001600160a01b031681565b60025481565b600154604080516370a0823160e01b81526001600160a01b0380851660048301529151600093859385939116916370a0823191602480820192602092909190829003018186803b158015610eef57600080fd5b505afa158015610f03573d6000803e3d6000fd5b505050506040513d6020811015610f1957600080fd5b5051905080610f595760405162461bcd60e51b81526004018080602001828103825260268152602001806111276026913960400191505060405180910390fd5b6001600160a01b038416600090815260036020526040902060010154849015610fc9576040805162461bcd60e51b815260206004820152601c60248201527f4163636f756e742068617320616c726561647920636c61696d65642e00000000604482015290519081900360640190fd5b6001600160a01b03851660009081526003602052604090205415611034576040805162461bcd60e51b815260206004820152601960248201527f43616e6e6f7420726561737369676e20616e20696e6465782e00000000000000604482015290519081900360640190fd5b6001600160a01b03851660009081526003602052604090206002015460ff161561108f5760405162461bcd60e51b815260040180806020018281038252602a8152602001806110fd602a913960400191505060405180910390fd5b60028054600180820183556001600160a01b038816600081815260036020526040808220858155909501805460ff191690931790925592519192839290917ffe8e0f7f7b06a0461a35a3efd185ab04bf2c1b47d74ced0ad04fc5dda048d4aa91a35060019594505050505056fe416464726573732068617320616c7265616479206265656e2061737369676e656420616e20696e646578457468657265756d206164647265737320686173206e6f20444f5420616c6c6f636174696f6e4164647265737320697320616d656e64656420616e642073656e646572206973206e6f742074686520616d656e646d656e744163636f756e74206d757374206e6f742062652076657374656420616c726561647956657374696e6720616d6f756e74206d7573742062652067726561746572207468616e207a65726f4d757374207375626d697420617272617973206f6620657175616c206c656e67746853656e646572206973206e6f742074686520616c6c6f636174696f6e20616464726573734d757374207375626d697420617272617973206f6620657175616c206c656e6774682e4661696c656420746f2070726f7669646520616e2045643235353139206f722053523235353139207075626c6963206b6579a265627a7a7230582010c8ae3ea26c0301e9bfad943a96f770f81567830694ef0ba13a8fceafce83c764736f6c63430005090032

00000000000000000000000000444c3281dadacb6e7c55357e5a7bbd92c2dc34000000000000000000000000b59f67a8bff5d8cd03f6ac17265c550ed8f33907

-----Decoded View---------------
Arg [0] : _owner (address): 0x00444c3281dadacb6e7c55357e5a7BBD92C2DC34
Arg [1] : _allocations (address): 0xb59f67A8BfF5d8Cd03f6AC17265c550Ed8F33907

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000000444c3281dadacb6e7c55357e5a7bbd92c2dc34
Arg [1] : 000000000000000000000000b59f67a8bff5d8cd03f6ac17265c550ed8f33907

3104:6788:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3104:6788:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;503:95;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;503:95:0;-1:-1:-1;;;;;503:95:0;;:::i;:::-;;3483:38;;;:::i;:::-;;;;-1:-1:-1;;;;;3483:38:0;;;;;;;;;;;;;;5166:487;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5166:487:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5166:487:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5166:487:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;5166:487:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5166:487:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5166:487:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;5166:487:0;;-1:-1:-1;5166:487:0;-1:-1:-1;5166:487:0;:::i;8561:164::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8561:164:0;-1:-1:-1;;;;;8561:164:0;;:::i;:::-;;;;;;;;;;;;;;;;;;603:20;;;:::i;8350:111::-;;;:::i;:::-;;;;;;;;;;;;;;;;5861:690;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5861:690:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5861:690:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5861:690:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;5861:690:0;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;5861:690:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;5861:690:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;5861:690:0;;-1:-1:-1;5861:690:0;-1:-1:-1;5861:690:0;:::i;6877:226::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6877:226:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;6877:226:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6877:226:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;6877:226:0;;-1:-1:-1;6877:226:0;-1:-1:-1;6877:226:0;:::i;3687:40::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3687:40:0;-1:-1:-1;;;;;3687:40:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7449:791;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7449:791:0;;;;;;;;:::i;3814:24::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3814:24:0;;:::i;3946:43::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3946:43:0;-1:-1:-1;;;;;3946:43:0;;:::i;3615:21::-;;;:::i;503:95::-;406:5;;-1:-1:-1;;;;;406:5:0;392:10;:19;383:43;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;;;;569:5;;;560:21;;-1:-1:-1;;;;;560:21:0;;;;569:5;;;560:21;;;583:5;:12;;-1:-1:-1;;;;;;583:12:0;-1:-1:-1;;;;;583:12:0;;;;;;;;;;503:95::o;3483:38::-;;;-1:-1:-1;;;;;3483:38:0;;:::o;5166:487::-;406:5;;-1:-1:-1;;;;;406:5:0;392:10;:19;383:43;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;;;;5312:31;;;5290:116;;;;-1:-1:-1;;;5290:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5424:6;5419:227;5436:18;;;5419:227;;;5485:21;5496:6;;5503:1;5496:9;;;;;;;;;;;;;-1:-1:-1;;;;;5496:9:0;5485:10;:21::i;:::-;5484:22;5476:62;;;;;-1:-1:-1;;;5476:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5574:7;;5582:1;5574:10;;;;;;;;;;;;;-1:-1:-1;;;;;5574:10:0;5553:7;:18;5561:6;;5568:1;5561:9;;;;;;;;;;;;;-1:-1:-1;;;;;5561:9:0;-1:-1:-1;;;;;5553:18:0;-1:-1:-1;;;;;5553:18:0;;;;;;;;;;;;;:31;;;;;-1:-1:-1;;;;;5553:31:0;;;;;-1:-1:-1;;;;;5553:31:0;;;;;;5623:7;;5631:1;5623:10;;;;;;;;;;;;;-1:-1:-1;;;;;5623:10:0;-1:-1:-1;;;;;5604:30:0;5612:6;;5619:1;5612:9;;;;;;;;;;;;;-1:-1:-1;;;;;5612:9:0;-1:-1:-1;;;;;5604:30:0;;;;;;;;;;;5456:3;;5419:227;;;;5166:487;;;;:::o;8561:164::-;9483:19;;:35;;;-1:-1:-1;;;9483:35:0;;-1:-1:-1;;;;;9483:35:0;;;;;;;;;8655:4;;8619;;8655;;9483:19;;;:29;;:35;;;;;;;;;;;;;;;:19;:35;;;5:2:-1;;;;30:1;27;20:12;5:2;9483:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9483:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9483:35:0;;-1:-1:-1;9551:7:0;9529:95;;;;-1:-1:-1;;;9529:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;8684:12:0;8715:1;8684:12;;;:6;:12;;;;;:19;;;:33;;;8561:164::o;603:20::-;;;-1:-1:-1;;;;;603:20:0;;:::o;8350:111::-;8439:7;:14;8350:111;:::o;5861:690::-;406:5;;-1:-1:-1;;;;;406:5:0;392:10;:19;383:43;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;-1:-1:-1;;;383:43:0;;;;;;;;;;;;;;;5999:35;;;5991:82;;;;-1:-1:-1;;;5991:82:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6091:6;6086:458;6103:16;;;6086:458;;;6141:23;6167:6;:16;6174:5;;6180:1;6174:8;;;;;;;;;;;;;-1:-1:-1;;;;;6174:8:0;-1:-1:-1;;;;;6167:16:0;-1:-1:-1;;;;;6167:16:0;;;;;;;;;;;;6141:42;;6207:20;6218:5;;6224:1;6218:8;;;;;;6207:20;6206:21;6198:61;;;;;-1:-1:-1;;;6198:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6282:16;;;;:21;6274:68;;;;-1:-1:-1;;;6274:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6365:12;;6378:1;6365:15;;;;;;;;;;;;;6384:1;6365:20;;6357:73;;;;-1:-1:-1;;;6357:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6464:12;;6477:1;6464:15;;;;;;;;;;;;;;6445:16;;;:34;-1:-1:-1;6506:5:0;;6512:1;6506:8;;;;;;;;;;;;;-1:-1:-1;;;;;6506:8:0;-1:-1:-1;;;;;6499:33:0;;6516:12;;6529:1;6516:15;;;;;;;;;;;;;6499:33;;;;;;;;;;;;;;;;;;-1:-1:-1;6121:3:0;;6086:458;;6877:226;6965:6;6960:136;6977:16;;;6960:136;;;7023:25;7039:5;;7045:1;7039:8;;;;;;;;;;;;;-1:-1:-1;;;;;7039:8:0;7023:15;:25::i;:::-;7015:69;;;;;-1:-1:-1;;;7015:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6995:3;;6960:136;;;;6877:226;;:::o;3687:40::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7449:791::-;9483:19;;:35;;;-1:-1:-1;;;9483:35:0;;-1:-1:-1;;;;;9483:35:0;;;;;;;;;7537:4;;9472:8;;9483:19;;:29;;:35;;;;;;;;;;;;;;:19;:35;;;5:2:-1;;;;30:1;27;20:12;5:2;9483:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9483:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9483:35:0;;-1:-1:-1;9551:7:0;9529:95;;;;-1:-1:-1;;;9529:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9780:12:0;;9811:1;9780:12;;;:6;:12;;;;;:19;;;7564:4;;9780:33;9758:111;;;;;-1:-1:-1;;;9758:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7594:21;7586:84;;;;-1:-1:-1;;;7586:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7695:13:0;;;7720:3;7695:13;;;:7;:13;;;;;;;:29;7691:252;;-1:-1:-1;;;;;7749:13:0;;;;;;;:7;:13;;;;;;;7766:10;7749:27;7741:90;;;;-1:-1:-1;;;7741:90:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7691:252;;;-1:-1:-1;;;;;7872:18:0;;7880:10;7872:18;7864:67;;;;-1:-1:-1;;;7864:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7959:12:0;;;;;;:6;:12;;;;;:18;:23;:49;;;;-1:-1:-1;;;;;;7987:12:0;;;;;;:6;:12;;;;;:21;;;;;7986:22;7959:49;7955:147;;;8033:21;8049:4;8033:15;:21::i;:::-;8025:65;;;;;-1:-1:-1;;;8025:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8114:12:0;;;;;;:6;:12;;;;;;:19;;;;:29;;;8154:7;27:10:-1;;23:18;;;45:23;;8154:18:0;;;;-1:-1:-1;;;;;;8154:18:0;;;;;8213;8190:42;;8213:18;;8114:29;;:12;;8190:42;;8114:12;8190:42;9635:1;7449:791;;;;:::o;3814:24::-;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3814:24:0;;-1:-1:-1;3814:24:0;:::o;3946:43::-;;;;;;;;;;;;-1:-1:-1;;;;;3946:43:0;;:::o;3615:21::-;;;;:::o;8861:491::-;9483:19;;:35;;;-1:-1:-1;;;9483:35:0;;-1:-1:-1;;;;;9483:35:0;;;;;;;;;8984:4;;8924;;8984;;9483:19;;;:29;;:35;;;;;;;;;;;;;;;:19;:35;;;5:2:-1;;;;30:1;27;20:12;5:2;9483:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9483:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9483:35:0;;-1:-1:-1;9551:7:0;9529:95;;;;-1:-1:-1;;;9529:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9780:12:0;;9811:1;9780:12;;;:6;:12;;;;;:19;;;8951:4;;9780:33;9758:111;;;;;-1:-1:-1;;;9758:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9014:12:0;;;;;;:6;:12;;;;;:18;:23;9006:61;;;;;-1:-1:-1;;;9006:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9087:12:0;;;;;;:6;:12;;;;;:21;;;;;9086:22;9078:77;;;;-1:-1:-1;;;9078:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9177:9;;;9197:11;;;;;;-1:-1:-1;;;;;9219:12:0;;9166:8;9219:12;;;:6;:12;;;;;;:24;;;9254:21;;;:28;;-1:-1:-1;;9254:28:0;;;;;;;9298:24;;9177:9;;;;9219:12;;9298:24;;;-1:-1:-1;9340:4:0;;8861:491;-1:-1:-1;;;;;8861:491:0:o

bzzr://10c8ae3ea26c0301e9bfad943a96f770f81567830694ef0ba13a8fceafce83c7