Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.4.4;

import "./ERC20Metadata.sol";
import "zeppelin-solidity/contracts/token/ERC20/StandardToken.sol";

contract ArtToken is StandardToken, ERC20Metadata {

  string public name;
  string public symbol;
  string public tokenURI;
  address public creator;

  uint public decimals = 0;

  function ArtToken (string assetTitle, uint supply, string _tokenURI, address _creator, address _owner) public payable {
    name = assetTitle;
    totalSupply_ = supply;
    tokenURI = _tokenURI;
    creator = _creator;
    balances[_owner] = supply;
  }

  function tokenURI() external view returns (string) {
    return tokenURI;
  }

  function name() external view returns (string _name) {
    _name = name;
  }

  function symbol() external view returns (string _symbol) {
    _symbol = symbol;
  }
}

pragma solidity ^0.4.18;

import "./BasicToken.sol";
import "./ERC20.sol";


/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;


  /**
   * @dev Transfer tokens from one address to another
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    Transfer(_from, _to, _value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   *
   * Beware that changing an allowance with this method brings the risk that someone may use both the old
   * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
   * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
   * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
  function approve(address _spender, uint256 _value) public returns (bool) {
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for the spender.
   */
  function allowance(address _owner, address _spender) public view returns (uint256) {
    return allowed[_owner][_spender];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(address _spender, uint _addedValue) public returns (bool) {
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
  function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

pragma solidity ^0.4.4;


interface ERC20Metadata {
  function name() external view returns (string _name);

  function symbol() external view returns (string _symbol);

  function tokenURI() external view returns (string);
}

pragma solidity ^0.4.18;

import "./ERC20Basic.sol";


/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

pragma solidity ^0.4.18;


import "./ERC20Basic.sol";
import "../../math/SafeMath.sol";


/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  /**
  * @dev total number of tokens in existence
  */
  function totalSupply() public view returns (uint256) {
    return totalSupply_;
  }

  /**
  * @dev transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    // SafeMath.sub will throw if there is not enough balance.
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256 balance) {
    return balances[_owner];
  }

}

pragma solidity ^0.4.18;


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

pragma solidity ^0.4.18;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "remappings": []
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"creator","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"_name","type":"string"}],"payable":false,"stateMutability":"view","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":true,"inputs":[],"name":"totalSupply","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":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokenURI","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"_symbol","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":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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"},{"inputs":[{"name":"assetTitle","type":"string"},{"name":"supply","type":"uint256"},{"name":"_tokenURI","type":"string"},{"name":"_creator","type":"address"},{"name":"_owner","type":"address"}],"payable":true,"stateMutability":"payable","type":"constructor"},{"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"},{"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"}]

0x60806040526000600755604051610ada380380610ada833981016040908152815160208084015192840151606085015160808601519386018051909692909201939092909161005491600391908801906100a5565b506001849055825161006d9060059060208601906100a5565b5060068054600160a060020a031916600160a060020a0393841617905516600090815260208190526040902091909155506101409050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100e657805160ff1916838001178555610113565b82800160010185558215610113579182015b828111156101135782518255916020019190600101906100f8565b5061011f929150610123565b5090565b61013d91905b8082111561011f5760008155600101610129565b90565b61098b8061014f6000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166302d05d3f81146100c957806306fdde03146100fa578063095ea7b31461018457806318160ddd146101bc57806323b872dd146101e3578063313ce5671461020d5780633c130d9014610222578063661884631461023757806370a082311461025b57806395d89b411461027c578063a9059cbb14610291578063d73dd623146102b5578063dd62ed3e146102d9575b600080fd5b3480156100d557600080fd5b506100de610300565b60408051600160a060020a039092168252519081900360200190f35b34801561010657600080fd5b5061010f61030f565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610149578181015183820152602001610131565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019057600080fd5b506101a8600160a060020a03600435166024356103a5565b604080519115158252519081900360200190f35b3480156101c857600080fd5b506101d161040f565b60408051918252519081900360200190f35b3480156101ef57600080fd5b506101a8600160a060020a0360043581169060243516604435610415565b34801561021957600080fd5b506101d1610595565b34801561022e57600080fd5b5061010f61059b565b34801561024357600080fd5b506101a8600160a060020a03600435166024356105fc565b34801561026757600080fd5b506101d1600160a060020a03600435166106f5565b34801561028857600080fd5b5061010f610710565b34801561029d57600080fd5b506101a8600160a060020a0360043516602435610771565b3480156102c157600080fd5b506101a8600160a060020a036004351660243561086a565b3480156102e557600080fd5b506101d1600160a060020a036004358116906024351661090c565b600654600160a060020a031681565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b820191906000526020600020905b81548152906001019060200180831161037e57829003601f168201915b5050505050905090565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b6000600160a060020a038316151561042c57600080fd5b600160a060020a03841660009081526020819052604090205482111561045157600080fd5b600160a060020a038085166000908152600260209081526040808320339094168352929052205482111561048457600080fd5b600160a060020a0384166000908152602081905260409020546104ad908363ffffffff61093716565b600160a060020a0380861660009081526020819052604080822093909355908516815220546104e2908363ffffffff61094916565b600160a060020a0380851660009081526020818152604080832094909455878316825260028152838220339093168252919091522054610528908363ffffffff61093716565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60075481565b60058054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561065957600160a060020a033381166000908152600260209081526040808320938816835292905290812055610690565b610669818463ffffffff61093716565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060019392505050565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b6000600160a060020a038316151561078857600080fd5b600160a060020a0333166000908152602081905260409020548211156107ad57600080fd5b600160a060020a0333166000908152602081905260409020546107d6908363ffffffff61093716565b600160a060020a03338116600090815260208190526040808220939093559085168152205461080b908363ffffffff61094916565b600160a060020a03808516600081815260208181526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600192915050565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120546108a2908363ffffffff61094916565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561094357fe5b50900390565b60008282018381101561095857fe5b93925050505600a165627a7a723058200165aa31ebcd5af03d5bd4a4e2fda18f807bd65a265e2d2dbd0b69bb8dce2c2f002900000000000000000000000000000000000000000000000000000000000000a0000000000000000000000000000000000000000000000000000000000000000f00000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000064098c9a6ba2e0e00da0c6ed28c56ec26280af2000000000000000000000000000000000000000000000000000000000000000104c6f766520416c776179732057696e7300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004b68747470733a2f2f697066732e726172656172742e696f2f697066732f516d54654a5947347951774a6863657562746e6638484e79526e5533654d74476553514e646f3967744c4a763650000000000000000000000000000000000000000000

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166302d05d3f81146100c957806306fdde03146100fa578063095ea7b31461018457806318160ddd146101bc57806323b872dd146101e3578063313ce5671461020d5780633c130d9014610222578063661884631461023757806370a082311461025b57806395d89b411461027c578063a9059cbb14610291578063d73dd623146102b5578063dd62ed3e146102d9575b600080fd5b3480156100d557600080fd5b506100de610300565b60408051600160a060020a039092168252519081900360200190f35b34801561010657600080fd5b5061010f61030f565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610149578181015183820152602001610131565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019057600080fd5b506101a8600160a060020a03600435166024356103a5565b604080519115158252519081900360200190f35b3480156101c857600080fd5b506101d161040f565b60408051918252519081900360200190f35b3480156101ef57600080fd5b506101a8600160a060020a0360043581169060243516604435610415565b34801561021957600080fd5b506101d1610595565b34801561022e57600080fd5b5061010f61059b565b34801561024357600080fd5b506101a8600160a060020a03600435166024356105fc565b34801561026757600080fd5b506101d1600160a060020a03600435166106f5565b34801561028857600080fd5b5061010f610710565b34801561029d57600080fd5b506101a8600160a060020a0360043516602435610771565b3480156102c157600080fd5b506101a8600160a060020a036004351660243561086a565b3480156102e557600080fd5b506101d1600160a060020a036004358116906024351661090c565b600654600160a060020a031681565b60038054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b820191906000526020600020905b81548152906001019060200180831161037e57829003601f168201915b5050505050905090565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b6000600160a060020a038316151561042c57600080fd5b600160a060020a03841660009081526020819052604090205482111561045157600080fd5b600160a060020a038085166000908152600260209081526040808320339094168352929052205482111561048457600080fd5b600160a060020a0384166000908152602081905260409020546104ad908363ffffffff61093716565b600160a060020a0380861660009081526020819052604080822093909355908516815220546104e2908363ffffffff61094916565b600160a060020a0380851660009081526020818152604080832094909455878316825260028152838220339093168252919091522054610528908363ffffffff61093716565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60075481565b60058054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561065957600160a060020a033381166000908152600260209081526040808320938816835292905290812055610690565b610669818463ffffffff61093716565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060019392505050565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f600260001961010060018816150201909516949094049384018190048102820181019092528281526060939092909183018282801561039b5780601f106103705761010080835404028352916020019161039b565b6000600160a060020a038316151561078857600080fd5b600160a060020a0333166000908152602081905260409020548211156107ad57600080fd5b600160a060020a0333166000908152602081905260409020546107d6908363ffffffff61093716565b600160a060020a03338116600090815260208190526040808220939093559085168152205461080b908363ffffffff61094916565b600160a060020a03808516600081815260208181526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600192915050565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120546108a2908363ffffffff61094916565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561094357fe5b50900390565b60008282018381101561095857fe5b93925050505600a165627a7a723058200165aa31ebcd5af03d5bd4a4e2fda18f807bd65a265e2d2dbd0b69bb8dce2c2f0029

129:716:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;261:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;261:22:0;;;;;;;;-1:-1:-1;;;;;261:22:0;;;;;;;;;;;;;;672:78;;8:9:-1;5:2;;;30:1;27;20:12;5:2;672:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;672:78:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1798:183:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1798:183:6;-1:-1:-1;;;;;1798:183:6;;;;;;;;;;;;;;;;;;;;;;;;;371:83:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;371:83:3;;;;;;;;;;;;;;;;;;;;736:439:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;736:439:6;-1:-1:-1;;;;;736:439:6;;;;;;;;;;;;290:24:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;290:24:0;;;;587:79;;8:9:-1;5:2;;;30:1;27;20:12;5:2;587:79:0;;;;3602:398:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3602:398:6;-1:-1:-1;;;;;3602:398:6;;;;;;;1189:107:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1189:107:3;-1:-1:-1;;;;;1189:107:3;;;;;756:86:0;;8:9:-1;5:2;;;30:1;27;20:12;5:2;756:86:0;;;;608:379:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;608:379:3;-1:-1:-1;;;;;608:379:3;;;;;;;2883:257:6;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2883:257:6;-1:-1:-1;;;;;2883:257:6;;;;;;;2300:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2300:126:6;-1:-1:-1;;;;;2300:126:6;;;;;;;;;;261:22:0;;;-1:-1:-1;;;;;261:22:0;;:::o;672:78::-;740:4;732:12;;;;;;;;-1:-1:-1;;732:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;711;;732;;740:4;;732:12;;740:4;732:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;672:78;:::o;1798:183:6:-;-1:-1:-1;;;;;1885:10:6;1877:19;;1865:4;1877:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:38;;;1921;;;;;;;1865:4;;1877:29;:19;1921:38;;;;;;;;;;;-1:-1:-1;1972:4:6;1798:183;;;;:::o;371:83:3:-;437:12;;371:83;:::o;736:439:6:-;818:4;-1:-1:-1;;;;;838:17:6;;;;830:26;;;;;;-1:-1:-1;;;;;880:15:6;;:8;:15;;;;;;;;;;;870:25;;;862:34;;;;;;-1:-1:-1;;;;;920:14:6;;;;;;;:7;:14;;;;;;;;935:10;920:26;;;;;;;;;;910:36;;;902:45;;;;;;-1:-1:-1;;;;;972:15:6;;:8;:15;;;;;;;;;;;:27;;992:6;972:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;954:15:6;;;:8;:15;;;;;;;;;;;:45;;;;1021:13;;;;;;;:25;;1039:6;1021:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1005:13:6;;;:8;:13;;;;;;;;;;;:41;;;;1081:14;;;;;:7;:14;;;;;1096:10;1081:26;;;;;;;;;;;:38;;1112:6;1081:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;1052:14:6;;;;;;;:7;:14;;;;;;;;1067:10;1052:26;;;;;;;;;;:67;;;;1125:28;;;;;;;;;;;1052:14;;1125:28;;;;;;;;;;;-1:-1:-1;1166:4:6;736:439;;;;;:::o;290:24:0:-;;;;:::o;587:79::-;652:8;645:15;;;;;;;;-1:-1:-1;;645:15:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;630:6;;645:15;;652:8;;645:15;;652:8;645:15;;;;;;;;;;;;;;;;;;;;;;;;3602:398:6;-1:-1:-1;;;;;3721:10:6;3713:19;;3685:4;3713:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;3752:27;;;3748:164;;;-1:-1:-1;;;;;3797:10:6;3789:19;;3821:1;3789:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;:33;3748:164;;;3875:30;:8;3888:16;3875:30;:12;:30;:::i;:::-;-1:-1:-1;;;;;3851:10:6;3843:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;:62;3748:164;-1:-1:-1;;;;;3926:10:6;3917:61;;3948:19;;;;:7;:19;;;;;;;;3917:61;;;3948:29;;;;;;;;;;;3917:61;;;;;;;;;;;;;;;;;-1:-1:-1;3991:4:6;;3602:398;-1:-1:-1;;;3602:398:6:o;1189:107:3:-;-1:-1:-1;;;;;1275:16:3;1245:15;1275:16;;;;;;;;;;;;1189:107::o;756:86:0:-;830:6;820:16;;;;;;;;-1:-1:-1;;820:16:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;797:14;;820:16;;830:6;;820:16;;830:6;820:16;;;;;;;;;;;;;;;;;;;;;;;;608:379:3;671:4;-1:-1:-1;;;;;691:17:3;;;;683:26;;;;;;-1:-1:-1;;;;;742:10:3;733:20;:8;:20;;;;;;;;;;;723:30;;;715:39;;;;;;-1:-1:-1;;;;;856:10:3;847:20;:8;:20;;;;;;;;;;;:32;;872:6;847:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;833:10:3;824:20;;:8;:20;;;;;;;;;;;:55;;;;901:13;;;;;;;:25;;919:6;901:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;885:13:3;;;:8;:13;;;;;;;;;;;;:41;;;;932:33;;;;;;;885:13;;941:10;932:33;;;;;;;;;;;;;-1:-1:-1;978:4:3;608:379;;;;:::o;2883:257:6:-;-1:-1:-1;;;;;3013:10:6;3005:19;;2961:4;3005:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:46;;3039:11;3005:46;:33;:46;:::i;:::-;-1:-1:-1;;;;;2981:10:6;2973:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:78;;;3057:61;;;;;;;2973:29;;:19;;3057:61;;;;;;;;;;-1:-1:-1;3131:4:6;2883:257;;;;:::o;2300:126::-;-1:-1:-1;;;;;2396:15:6;;;2374:7;2396:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2300:126::o;835:110:2:-;893:7;915:6;;;;908:14;;;;-1:-1:-1;935:5:2;;;835:110::o;1007:129::-;1065:7;1092:5;;;1110:6;;;;1103:14;;;;1130:1;1007:129;-1:-1:-1;;;1007:129:2:o

bzzr://0165aa31ebcd5af03d5bd4a4e2fda18f807bd65a265e2d2dbd0b69bb8dce2c2f