Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at moonriver.moonscan.io on 2021-11-01
*/

pragma solidity ^0.5.17;

library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
      if (a == 0) {
        return 0;
      }
      c = a * b;
      assert(c / a == b);
      return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
      return a / b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
      assert(b <= a);
      return a - b;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
      c = a + b;
      assert(c >= a);
      return c;
    }
}

contract TOKEN {
    function totalSupply() external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    function balanceOf(address account) external view returns (uint256);
    function burnFrom(address account, uint256 amount) public;
}

contract Ownable {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() public {
        _transferOwnership(msg.sender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == msg.sender, "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

contract Vault is Ownable {
    using SafeMath for uint256;

    event onBackingRedeem(
        address indexed customerAddress,
        uint256 burntAmount,
        uint256 timestamp
    );
    
    event onTokenListing(
        address indexed tokenAddress,
        uint256 timestamp
    );
    
    event onBackingDeposit(
        address indexed tokenAddress,
        uint256 amount,
        uint256 timestamp
    );
    
    address[] public tokenList; //to help with iteration
    mapping(address => TOKEN) private acceptedTokens;
    
    uint256 public leverage = 1;
    
    TOKEN pad;
    
    constructor() public {
      pad = TOKEN(address(0x45488C50184Ce2092756ba7CdF85731fD17e6f3d)); //Pad Address
    }
    
    function() payable external {
        revert();
    }
    
    function checkAndTransferToken(address _tokenAddress, uint256 _amount) private {
        require(acceptedTokens[_tokenAddress].transferFrom(msg.sender, address(this), _amount) == true, "transfer must succeed");
    }
    
    function redeemBacking(uint256 _burnAmount) public returns (uint256) {
        address payable _customerAddress = msg.sender;
        uint256 _padSupply = getPadSupply();
       
        pad.burnFrom(_customerAddress, _burnAmount);
        
        for (uint i = 0; i<tokenList.length; i++) {
            uint256 tokenBalance = TOKEN(tokenList[i]).balanceOf(address(this));
            uint256 backingAmount = tokenBalance.mul(_burnAmount).mul(leverage).div(_padSupply);
            acceptedTokens[tokenList[i]].transfer(_customerAddress, backingAmount);
        }
        
        emit onBackingRedeem(_customerAddress, _burnAmount, now);
        
    }

    function listToken(address _tokenAddress) onlyOwner external returns  (address [] memory) {
        require(acceptedTokens[_tokenAddress] == TOKEN(address(0)), 'This token is already listed.');
        acceptedTokens[_tokenAddress] = TOKEN(address(_tokenAddress));
        tokenList.push(_tokenAddress);
        return tokenList;
    }
    
    //manipulating arrays is costly and this function is only present in case a wrong token address is listed as a mistake.
    function delistToken(address _tokenAddress) onlyOwner external returns (address  [] memory) {
        require(acceptedTokens[_tokenAddress] != TOKEN(address(0)), 'This token is not listed.');
        acceptedTokens[_tokenAddress] = TOKEN(address(0));
         for (uint i = 0; i<tokenList.length; i++) {
            if(tokenList[i] == _tokenAddress) {
                tokenList[i] = tokenList[tokenList.length-1]; //overrides the element we want to delete with the last one
                delete tokenList[tokenList.length-1]; //deletes the last one
                tokenList.length --;
            }
        }
        return tokenList;
    }
    
    function updateLeverage(uint256 _leverage) onlyOwner external returns (bool) {
        require(_leverage >= 1 && _leverage <= 3, "Invalid leverage value.");
        leverage = _leverage;
        return true;
    }
    
    //transfering any accepted token directly to the contract also works (but wont emit an event)
    function addBacking(address _tokenAddress, uint256 _amount) public {
        require(_amount > 0, "must be a positive value");
        checkAndTransferToken(_tokenAddress, _amount);
        emit onBackingDeposit(_tokenAddress, _amount, now);
    }


    function getPadSupply() public view returns (uint256) {
        return pad.totalSupply();
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"onBackingDeposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"customerAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"burntAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"onBackingRedeem","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"timestamp","type":"uint256"}],"name":"onTokenListing","type":"event"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":false,"inputs":[{"internalType":"address","name":"_tokenAddress","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"addBacking","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_tokenAddress","type":"address"}],"name":"delistToken","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getPadSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"leverage","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_tokenAddress","type":"address"}],"name":"listToken","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_burnAmount","type":"uint256"}],"name":"redeemBacking","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"tokenList","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_leverage","type":"uint256"}],"name":"updateLeverage","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6080604052600160035534801561001557600080fd5b506100253361007f60201b60201c565b7345488c50184ce2092756ba7cdf85731fd17e6f3d600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610143565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611771806101526000396000f3fe6080604052600436106100915760003560e01c80638da5cb5b116100595780638da5cb5b146102405780639ead722214610297578063abffc9ac14610312578063f2fde38b146103b8578063f9f1e4741461040957610091565b8063162ca421146100965780631fc1e25f146100e95780632c86d98e1461018f5780634680bb47146101ba57806376655e7e146101e5575b600080fd5b3480156100a257600080fd5b506100cf600480360360208110156100b957600080fd5b8101908080359060200190929190505050610458565b604051808215151515815260200191505060405180910390f35b3480156100f557600080fd5b506101386004803603602081101561010c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610596565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561017b578082015181840152602081019050610160565b505050509050019250505060405180910390f35b34801561019b57600080fd5b506101a46108b3565b6040518082815260200191505060405180910390f35b3480156101c657600080fd5b506101cf6108b9565b6040518082815260200191505060405180910390f35b3480156101f157600080fd5b5061023e6004803603604081101561020857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610963565b005b34801561024c57600080fd5b50610255610a3d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102a357600080fd5b506102d0600480360360208110156102ba57600080fd5b8101908080359060200190929190505050610a66565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561031e57600080fd5b506103616004803603602081101561033557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa2565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156103a4578082015181840152602081019050610389565b505050509050019250505060405180910390f35b3480156103c457600080fd5b50610407600480360360208110156103db57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ed1565b005b34801561041557600080fd5b506104426004803603602081101561042c57600080fd5b810190808035906020019092919050505061100b565b6040518082815260200191505060405180910390f35b60003373ffffffffffffffffffffffffffffffffffffffff16610479610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610502576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60018210158015610514575060038211155b610586576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f496e76616c6964206c657665726167652076616c75652e00000000000000000081525060200191505060405180910390fd5b8160038190555060019050919050565b60603373ffffffffffffffffffffffffffffffffffffffff166105b7610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610640576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610741576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f5468697320746f6b656e20697320616c7265616479206c69737465642e00000081525060200191505060405180910390fd5b81600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060018290806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505060018054806020026020016040519081016040528092919081815260200182805480156108a757602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161085d575b50505050509050919050565b60035481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561092357600080fd5b505afa158015610937573d6000803e3d6000fd5b505050506040513d602081101561094d57600080fd5b8101908080519060200190929190505050905090565b600081116109d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6d757374206265206120706f7369746976652076616c7565000000000000000081525060200191505060405180910390fd5b6109e382826113e7565b8173ffffffffffffffffffffffffffffffffffffffff167ffd22d6853096da8bd7d1eed1eb262f488d7fbeb79185b2937a543cf0542bab188242604051808381526020018281526020019250505060405180910390a25050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60018181548110610a7357fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60603373ffffffffffffffffffffffffffffffffffffffff16610ac3610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610b4c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610c4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5468697320746f6b656e206973206e6f74206c69737465642e0000000000000081525060200191505060405180910390fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008090505b600180549050811015610e42578273ffffffffffffffffffffffffffffffffffffffff1660018281548110610d0457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610e355760018080805490500381548110610d5e57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660018281548110610d9657fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060018080805490500381548110610df157fe5b9060005260206000200160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001805480919060019003610e3391906116c5565b505b8080600101915050610cd3565b506001805480602002602001604051908101604052809291908181526020018280548015610ec557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610e7b575b50505050509050919050565b3373ffffffffffffffffffffffffffffffffffffffff16610ef0610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610f79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806117176026913960400191505060405180910390fd5b611008816115b9565b50565b600080339050600061101b6108b9565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166379cc679083866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156110c657600080fd5b505af11580156110da573d6000803e3d6000fd5b5050505060008090505b6001805490508110156113895760006001828154811061110057fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111a757600080fd5b505afa1580156111bb573d6000803e3d6000fd5b505050506040513d60208110156111d157600080fd5b81019080805190602001909291905050509050600061121f846112116003546112038b8761167d90919063ffffffff16565b61167d90919063ffffffff16565b6116b190919063ffffffff16565b9050600260006001858154811061123257fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb86836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561133e57600080fd5b505af1158015611352573d6000803e3d6000fd5b505050506040513d602081101561136857600080fd5b810190808051906020019092919050505050505080806001019150506110e4565b508173ffffffffffffffffffffffffffffffffffffffff167f13b1e2205d81361a9d49d17f302c7ca1d73a219705f964310898cb39c0e98fff8542604051808381526020018281526020019250505060405180910390a25050919050565b60011515600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561150557600080fd5b505af1158015611519573d6000803e3d6000fd5b505050506040513d602081101561152f57600080fd5b81019080805190602001909291905050501515146115b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7472616e73666572206d7573742073756363656564000000000000000000000081525060200191505060405180910390fd5b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60008083141561169057600090506116ab565b81830290508183828161169f57fe5b04146116a757fe5b8090505b92915050565b60008183816116bc57fe5b04905092915050565b8154818355818111156116ec578183600052602060002091820191016116eb91906116f1565b5b505050565b61171391905b8082111561170f5760008160009055506001016116f7565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373a265627a7a72315820b57c8f97fbd45f318caadf0e627a68bcf096d385e2d7d372f4d8305c01d037df64736f6c63430005110032

0x6080604052600436106100915760003560e01c80638da5cb5b116100595780638da5cb5b146102405780639ead722214610297578063abffc9ac14610312578063f2fde38b146103b8578063f9f1e4741461040957610091565b8063162ca421146100965780631fc1e25f146100e95780632c86d98e1461018f5780634680bb47146101ba57806376655e7e146101e5575b600080fd5b3480156100a257600080fd5b506100cf600480360360208110156100b957600080fd5b8101908080359060200190929190505050610458565b604051808215151515815260200191505060405180910390f35b3480156100f557600080fd5b506101386004803603602081101561010c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610596565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561017b578082015181840152602081019050610160565b505050509050019250505060405180910390f35b34801561019b57600080fd5b506101a46108b3565b6040518082815260200191505060405180910390f35b3480156101c657600080fd5b506101cf6108b9565b6040518082815260200191505060405180910390f35b3480156101f157600080fd5b5061023e6004803603604081101561020857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610963565b005b34801561024c57600080fd5b50610255610a3d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102a357600080fd5b506102d0600480360360208110156102ba57600080fd5b8101908080359060200190929190505050610a66565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561031e57600080fd5b506103616004803603602081101561033557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa2565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156103a4578082015181840152602081019050610389565b505050509050019250505060405180910390f35b3480156103c457600080fd5b50610407600480360360208110156103db57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ed1565b005b34801561041557600080fd5b506104426004803603602081101561042c57600080fd5b810190808035906020019092919050505061100b565b6040518082815260200191505060405180910390f35b60003373ffffffffffffffffffffffffffffffffffffffff16610479610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610502576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60018210158015610514575060038211155b610586576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f496e76616c6964206c657665726167652076616c75652e00000000000000000081525060200191505060405180910390fd5b8160038190555060019050919050565b60603373ffffffffffffffffffffffffffffffffffffffff166105b7610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610640576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610741576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f5468697320746f6b656e20697320616c7265616479206c69737465642e00000081525060200191505060405180910390fd5b81600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060018290806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505060018054806020026020016040519081016040528092919081815260200182805480156108a757602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161085d575b50505050509050919050565b60035481565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561092357600080fd5b505afa158015610937573d6000803e3d6000fd5b505050506040513d602081101561094d57600080fd5b8101908080519060200190929190505050905090565b600081116109d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6d757374206265206120706f7369746976652076616c7565000000000000000081525060200191505060405180910390fd5b6109e382826113e7565b8173ffffffffffffffffffffffffffffffffffffffff167ffd22d6853096da8bd7d1eed1eb262f488d7fbeb79185b2937a543cf0542bab188242604051808381526020018281526020019250505060405180910390a25050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60018181548110610a7357fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60603373ffffffffffffffffffffffffffffffffffffffff16610ac3610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610b4c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610c4e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f5468697320746f6b656e206973206e6f74206c69737465642e0000000000000081525060200191505060405180910390fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008090505b600180549050811015610e42578273ffffffffffffffffffffffffffffffffffffffff1660018281548110610d0457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610e355760018080805490500381548110610d5e57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660018281548110610d9657fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060018080805490500381548110610df157fe5b9060005260206000200160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001805480919060019003610e3391906116c5565b505b8080600101915050610cd3565b506001805480602002602001604051908101604052809291908181526020018280548015610ec557602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311610e7b575b50505050509050919050565b3373ffffffffffffffffffffffffffffffffffffffff16610ef0610a3d565b73ffffffffffffffffffffffffffffffffffffffff1614610f79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806117176026913960400191505060405180910390fd5b611008816115b9565b50565b600080339050600061101b6108b9565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166379cc679083866040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156110c657600080fd5b505af11580156110da573d6000803e3d6000fd5b5050505060008090505b6001805490508110156113895760006001828154811061110057fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111a757600080fd5b505afa1580156111bb573d6000803e3d6000fd5b505050506040513d60208110156111d157600080fd5b81019080805190602001909291905050509050600061121f846112116003546112038b8761167d90919063ffffffff16565b61167d90919063ffffffff16565b6116b190919063ffffffff16565b9050600260006001858154811061123257fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb86836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561133e57600080fd5b505af1158015611352573d6000803e3d6000fd5b505050506040513d602081101561136857600080fd5b810190808051906020019092919050505050505080806001019150506110e4565b508173ffffffffffffffffffffffffffffffffffffffff167f13b1e2205d81361a9d49d17f302c7ca1d73a219705f964310898cb39c0e98fff8542604051808381526020018281526020019250505060405180910390a25050919050565b60011515600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561150557600080fd5b505af1158015611519573d6000803e3d6000fd5b505050506040513d602081101561152f57600080fd5b81019080805190602001909291905050501515146115b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7472616e73666572206d7573742073756363656564000000000000000000000081525060200191505060405180910390fd5b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60008083141561169057600090506116ab565b81830290508183828161169f57fe5b04146116a757fe5b8090505b92915050565b60008183816116bc57fe5b04905092915050565b8154818355818111156116ec578183600052602060002091820191016116eb91906116f1565b5b505050565b61171391905b8082111561170f5760008160009055506001016116f7565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373a265627a7a72315820b57c8f97fbd45f318caadf0e627a68bcf096d385e2d7d372f4d8305c01d037df64736f6c63430005110032

2414:3570:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3212:8;;;5289:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5289:217:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5289:217:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4146:340;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4146:340:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4146:340:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4146:340:0;;;;;;;;;;;;;;;;;2983:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2983:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5878:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5878:97:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5617:251;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5617:251:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5617:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1426:79;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1426:79:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2864:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2864:26:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2864:26:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4623:654;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4623:654:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4623:654:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4623:654:0;;;;;;;;;;;;;;;;;1871:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1871:193:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1871:193:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;3470:668;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3470:668:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3470:668:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5289:217;5360:4;1649:10;1638:21;;:7;:5;:7::i;:::-;:21;;;1630:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5398:1;5385:9;:14;;:32;;;;;5416:1;5403:9;:14;;5385:32;5377:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5467:9;5456:8;:20;;;;5494:4;5487:11;;5289:217;;;:::o;4146:340::-;4217:17;1649:10;1638:21;;:7;:5;:7::i;:::-;:21;;;1630:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4302:1;4255:50;;:14;:29;4270:13;4255:29;;;;;;;;;;;;;;;;;;;;;;;;;:50;;;4247:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4396:13;4350:14;:29;4365:13;4350:29;;;;;;;;;;;;;;;;:61;;;;;;;;;;;;;;;;;;4422:9;4437:13;4422:29;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;4422:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4469:9;4462:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4146:340;;;:::o;2983:27::-;;;;:::o;5878:97::-;5923:7;5950:3;;;;;;;;;;;:15;;;:17;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5950:17:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5950:17:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5950:17:0;;;;;;;;;;;;;;;;5943:24;;5878:97;:::o;5617:251::-;5713:1;5703:7;:11;5695:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5754:45;5776:13;5791:7;5754:21;:45::i;:::-;5832:13;5815:45;;;5847:7;5856:3;5815:45;;;;;;;;;;;;;;;;;;;;;;;;5617:251;;:::o;1426:79::-;1464:7;1491:6;;;;;;;;;;;1484:13;;1426:79;:::o;2864:26::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4623:654::-;4695:18;1649:10;1638:21;;:7;:5;:7::i;:::-;:21;;;1630:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4781:1;4734:50;;:14;:29;4749:13;4734:29;;;;;;;;;;;;;;;;;;;;;;;;;:50;;;;4726:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4871:1;4825:14;:29;4840:13;4825:29;;;;;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;4891:6;4900:1;4891:10;;4886:357;4905:9;:16;;;;4903:1;:18;4886:357;;;4962:13;4946:29;;:9;4956:1;4946:12;;;;;;;;;;;;;;;;;;;;;;;;;:29;;;4943:289;;;5011:9;5038:1;5021:9;:16;;;;:18;5011:29;;;;;;;;;;;;;;;;;;;;;;;;;4996:9;5006:1;4996:12;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;5126:9;5153:1;5136:9;:16;;;;:18;5126:29;;;;;;;;;;;;;;;;5119:36;;;;;;;;;;;5197:9;:19;;;;;;;;;;;;:::i;:::-;;4943:289;4923:3;;;;;;;4886:357;;;;5260:9;5253:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4623:654;;;:::o;1871:193::-;1649:10;1638:21;;:7;:5;:7::i;:::-;:21;;;1630:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1972:1;1952:22;;:8;:22;;;;1944:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2028:28;2047:8;2028:18;:28::i;:::-;1871:193;:::o;3470:668::-;3530:7;3550:32;3585:10;3550:45;;3606:18;3627:14;:12;:14::i;:::-;3606:35;;3661:3;;;;;;;;;;;:12;;;3674:16;3692:11;3661:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3661:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3661:43:0;;;;3730:6;3739:1;3730:10;;3725:319;3744:9;:16;;;;3742:1;:18;3725:319;;;3782:20;3811:9;3821:1;3811:12;;;;;;;;;;;;;;;;;;;;;;;;;3805:29;;;3843:4;3805:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3805:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3805:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3805:44:0;;;;;;;;;;;;;;;;3782:67;;3864:21;3888:59;3936:10;3888:43;3922:8;;3888:29;3905:11;3888:12;:16;;:29;;;;:::i;:::-;:33;;:43;;;;:::i;:::-;:47;;:59;;;;:::i;:::-;3864:83;;3962:14;:28;3977:9;3987:1;3977:12;;;;;;;;;;;;;;;;;;;;;;;;;3962:28;;;;;;;;;;;;;;;;;;;;;;;;;:37;;;4000:16;4018:13;3962:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3962:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3962:70:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3962:70:0;;;;;;;;;;;;;;;;;3725:319;;3762:3;;;;;;;3725:319;;;;4085:16;4069:51;;;4103:11;4116:3;4069:51;;;;;;;;;;;;;;;;;;;;;;;;3470:668;;;;;:::o;3240:218::-;3420:4;3338:86;;:14;:29;3353:13;3338:29;;;;;;;;;;;;;;;;;;;;;;;;;:42;;;3381:10;3401:4;3408:7;3338:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3338:78:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3338:78:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3338:78:0;;;;;;;;;;;;;;;;:86;;;3330:120;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3240:218;;:::o;2224:183::-;2290:16;2309:6;;;;;;;;;;;2290:25;;2335:8;2326:6;;:17;;;;;;;;;;;;;;;;;;2390:8;2359:40;;2380:8;2359:40;;;;;;;;;;;;2224:183;;:::o;52:188::-;110:9;139:1;134;:6;130:41;;;160:1;153:8;;;;130:41;187:1;183;:5;179:9;;213:1;208;204;:5;;;;;;:10;197:18;;;;231:1;224:8;;52:188;;;;;:::o;248:96::-;306:7;335:1;331;:5;;;;;;324:12;;248:96;;;;:::o;2414:3570::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://b57c8f97fbd45f318caadf0e627a68bcf096d385e2d7d372f4d8305c01d037df