contract AmbrosusSale {
  /// Constructor.
  function AmbrosusSale() {
    tokens = new AmberToken();
    tokens.mint(0x00C269e9D02188E39C9922386De631c6AED5b4d4, 144590975014280560863612000);
    saleRevenue += 144590975014280560863612000;
    totalSold += 144590975014280560863612000;

  }

  // Can only be called by the administrator.
  modifier only_admin { require (msg.sender == ADMINISTRATOR); _; }
  // Can only be called by the prepurchaser.
  modifier only_prepurchaser { require (msg.sender == PREPURCHASER); _; }

  // The transaction params are valid for buying in.
  modifier is_valid_buyin { require (tx.gasprice <= MAX_BUYIN_GAS_PRICE && msg.value >= MIN_BUYIN_VALUE); _; }
  // Requires the hard cap to be respected given the desired amount for `buyin`.
  modifier is_under_cap_with(uint buyin) { require (buyin + saleRevenue <= MAX_REVENUE); _; }
  // Requires sender to be certified.
  modifier only_certified(address who) { require (CERTIFIER.certified(who)); _; }

  /*
    Sale life cycle:
    1. Not yet started.
    2. Started, further purchases possible.
      a. Normal operation (next step can be 2b or 3)
      b. Paused (next step can be 2a or 3)
    3. Complete (equivalent to Allocation Lifecycle 2 & 3).
  */

  // Can only be called by prior to the period (1).
  modifier only_before_period { require (now < BEGIN_TIME); _; }
  // Can only be called during the period when not paused (2a).
  modifier only_during_period { require (now >= BEGIN_TIME && now < END_TIME && !isPaused); _; }
  // Can only be called during the period when paused (2b)
  modifier only_during_paused_period { require (now >= BEGIN_TIME && now < END_TIME && isPaused); _; }
  // Can only be called after the period (3).
  modifier only_after_sale { require (now >= END_TIME || saleRevenue >= MAX_REVENUE); _; }

  /*
    Allocation life cycle:
    1. Uninitialised (sale not yet started/ended, equivalent to Sale Lifecycle 1 & 2).
    2. Initialised, not yet completed (further allocations possible).
    3. Completed (no further allocations possible).
  */

  // Only when allocations have not yet been initialised (1).
  modifier when_allocations_uninitialised { require (!allocationsInitialised); _; }
  // Only when sufficient allocations remain for making this liquid allocation (2).
  modifier when_allocatable_liquid(uint amount) { require (liquidAllocatable >= amount); _; }
  // Only when sufficient allocations remain for making this locked allocation (2).
  modifier when_allocatable_locked(uint amount) { require (lockedAllocatable >= amount); _; }
  // Only when no further allocations are possible (3).
  modifier when_allocations_complete { require (allocationsInitialised && liquidAllocatable == 0 && lockedAllocatable == 0); _; }

  /// Note a pre-ICO sale.
  event Prepurchased(address indexed recipient, uint etherPaid, uint amberSold);
  /// Some contribution `amount` received from `recipient`.
  event Purchased(address indexed recipient, uint amount);
  /// Some contribution `amount` received from `recipient`.
  event SpecialPurchased(address indexed recipient, uint etherPaid, uint amberSold);
  /// Period paused abnormally.
  event Paused();
  /// Period restarted after abnormal halt.
  event Unpaused();
  /// Some contribution `amount` received from `recipient`.
  event Allocated(address indexed recipient, uint amount, bool liquid);

  /// Note a prepurchase that has already happened.
  /// Up to owner to ensure that values do not overflow.
  ///
  /// Preconditions: !sale_started
  /// Writes {Tokens, Sale}
  function notePrepurchase(address _who, uint _etherPaid, uint _amberSold)
    only_prepurchaser
    only_before_period
    public
  {
    // Admin ensures bounded value.
    tokens.mint(_who, _amberSold);
    saleRevenue += _etherPaid;
    totalSold += _amberSold;
    Prepurchased(_who, _etherPaid, _amberSold);
  }

  /// Make a purchase from a privileged account. No KYC is required and a
  /// preferential buyin rate may be given.
  ///
  /// Preconditions: !paused, sale_ongoing
  /// Postconditions: !paused, ?!sale_ongoing
  /// Writes {Tokens, Sale}
  function specialPurchase()
    only_before_period
    is_under_cap_with(msg.value)
    payable
    public
  {
    uint256 bought = buyinReturn(msg.sender) * msg.value;
    require (bought > 0);   // be kind and don't punish the idiots.

    // Bounded value, see STANDARD_BUYIN.
    tokens.mint(msg.sender, bought);
    TREASURY.transfer(msg.value);
    saleRevenue += msg.value;
    totalSold += bought;
    SpecialPurchased(msg.sender, msg.value, bought);
   }

  /// Let sender make a purchase to their account.
  ///
  /// Preconditions: !paused, sale_ongoing
  /// Postconditions: ?!sale_ongoing
  /// Writes {Tokens, Sale}
  function ()
    only_certified(msg.sender)
    payable
    public
  {
    processPurchase(msg.sender);
  }

  /// Let sender make a standard purchase; AMB goes into another account.
  ///
  /// Preconditions: !paused, sale_ongoing
  /// Postconditions: ?!sale_ongoing
  /// Writes {Tokens, Sale}
  function purchaseTo(address _recipient)
    only_certified(msg.sender)
    payable
    public
  {
    processPurchase(_recipient);
  }

  /// Receive a contribution from `_recipient`.
  ///
  /// Preconditions: !paused, sale_ongoing
  /// Postconditions: ?!sale_ongoing
  /// Writes {Tokens, Sale}
  function processPurchase(address _recipient)
    only_during_period
    is_valid_buyin
    is_under_cap_with(msg.value)
    private
  {
    // Bounded value, see STANDARD_BUYIN.
    tokens.mint(_recipient, msg.value * STANDARD_BUYIN);
    TREASURY.transfer(msg.value);
    saleRevenue += msg.value;
    totalSold += msg.value * STANDARD_BUYIN;
    Purchased(_recipient, msg.value);
  }

  /// Determine purchase price for a given address.
  function buyinReturn(address _who)
    constant
    public
    returns (uint)
  {
    // Chinese exchanges.
    if (
      _who == CHINESE_EXCHANGE_1 || _who == CHINESE_EXCHANGE_2 ||
      _who == CHINESE_EXCHANGE_3 || _who == CHINESE_EXCHANGE_4
    )
      return CHINESE_EXCHANGE_BUYIN;

    // BTCSuisse tier 1
    if (_who == BTC_SUISSE_TIER_1)
      return STANDARD_BUYIN;
    // BTCSuisse tier 2
    if (_who == BTC_SUISSE_TIER_2)
      return TIER_2_BUYIN;
    // BTCSuisse tier 3
    if (_who == BTC_SUISSE_TIER_3)
      return TIER_3_BUYIN;
    // BTCSuisse tier 4
    if (_who == BTC_SUISSE_TIER_4)
      return TIER_4_BUYIN;

    return 0;
  }

  /// Halt the contribution period. Any attempt at contributing will fail.
  ///
  /// Preconditions: !paused, sale_ongoing
  /// Postconditions: paused
  /// Writes {Paused}
  function pause()
    only_admin
    only_during_period
    public
  {
    isPaused = true;
    Paused();
  }

  /// Unhalt the contribution period.
  ///
  /// Preconditions: paused
  /// Postconditions: !paused
  /// Writes {Paused}
  function unpause()
    only_admin
    only_during_paused_period
    public
  {
    isPaused = false;
    Unpaused();
  }

  /// Called once by anybody after the sale ends.
  /// Initialises the specific values (i.e. absolute token quantities) of the
  /// allowed liquid/locked allocations.
  ///
  /// Preconditions: !allocations_initialised
  /// Postconditions: allocations_initialised, !allocations_complete
  /// Writes {Allocations}
  function initialiseAllocations()
    public
    only_after_sale
    when_allocations_uninitialised
  {
    allocationsInitialised = true;
    liquidAllocatable = LIQUID_ALLOCATION_PPM * totalSold / SALES_ALLOCATION_PPM;
    lockedAllocatable = LOCKED_ALLOCATION_PPM * totalSold / SALES_ALLOCATION_PPM;
  }

  /// Preallocate a liquid portion of tokens.
  /// Admin may call this to allocate a share of the liquid tokens.
  /// Up to admin to ensure that value does not overflow.
  ///
  /// Preconditions: allocations_initialised
  /// Postconditions: ?allocations_complete
  /// Writes {Allocations, Tokens}
  function allocateLiquid(address _who, uint _value)
    only_admin
    when_allocatable_liquid(_value)
    public
  {
    // Admin ensures bounded value.
    tokens.mint(_who, _value);
    liquidAllocatable -= _value;
    Allocated(_who, _value, true);
  }

  /// Preallocate a locked-up portion of tokens.
  /// Admin may call this to allocate a share of the locked tokens.
  /// Up to admin to ensure that value does not overflow and _value is divisible by UNLOCK_PHASES.
  ///
  /// Preconditions: allocations_initialised
  /// Postconditions: ?allocations_complete
  /// Writes {Allocations, Tokens}
  function allocateLocked(address _who, uint _value)
    only_admin
    when_allocatable_locked(_value)
    public
  {
    // Admin ensures bounded value.
    tokens.mintLocked(_who, _value);
    lockedAllocatable -= _value;
    Allocated(_who, _value, false);
  }

  /// End of the sale and token allocation; retire this contract.
  /// Once called, no more tokens can be minted, basic tokens are now liquid.
  /// Anyone can call, but only once this contract can properly be retired.
  ///
  /// Preconditions: allocations_complete
  /// Postconditions: liquid_tokens_transferable, this_is_dead
  /// Writes {Tokens}
  function finalise()
    when_allocations_complete
    public
  {
    tokens.finalise();
  }

  //////
  // STATE
  //////

  // How much is enough?
  uint public constant MIN_BUYIN_VALUE = 10000000000000000;
  // Max gas price for buyins.
  uint public constant MAX_BUYIN_GAS_PRICE = 25000000000;
  // The exposed hard cap.
  uint public constant MAX_REVENUE = 425203 ether;

  // The total share of tokens, expressed in PPM, allocated to pre-ICO and ICO.
  uint constant public SALES_ALLOCATION_PPM = 400000;
  // The total share of tokens, expressed in PPM, the admin may later allocate, as locked tokens.
  uint constant public LOCKED_ALLOCATION_PPM = 337000;
  // The total share of tokens, expressed in PPM, the admin may later allocate, as liquid tokens.
  uint constant public LIQUID_ALLOCATION_PPM = 263000;

  /// The certifier resource. TODO: set address
  Certifier public constant CERTIFIER = Certifier(0x7b1Ab331546F021A40bd4D09fFb802261CaACcc9);
  // Who can halt/unhalt/kill?
  address public constant ADMINISTRATOR = 0x11bf17b890a80080a8f9c1673d2951296a6f3d91; //0x00C269e9D02188E39C9922386De631c6AED5b4d4;//
  // Who can prepurchase?
  address public constant PREPURCHASER = 0x00D426e9F24E0F426706A1aBf96E375014684C78;
  // Who gets the stash? Should not release funds during minting process.
  address public constant TREASURY = 0x00D426e9F24E0F426706A1aBf96E375014684C78;
  // When does the contribution period begin?
  uint public constant BEGIN_TIME = 1505779200;
  // How long does the sale last for?
  uint public constant DURATION = 30 days;
  // When does the period end?
  uint public constant END_TIME = BEGIN_TIME + DURATION;

  // The privileged buyin accounts.
  address public constant BTC_SUISSE_TIER_1 = 0x53B3D4f98fcb6f0920096fe1cCCa0E4327Da7a1D;
  address public constant BTC_SUISSE_TIER_2 = 0x642fDd12b1Dd27b9E19758F0AefC072dae7Ab996;
  address public constant BTC_SUISSE_TIER_3 = 0x64175446A1e3459c3E9D650ec26420BA90060d28;
  address public constant BTC_SUISSE_TIER_4 = 0xB17C2f9a057a2640309e41358a22Cf00f8B51626;
  address public constant CHINESE_EXCHANGE_1 = 0x36f548fAB37Fcd39cA8725B8fA214fcd784FE0A3;
  address public constant CHINESE_EXCHANGE_2 = 0x877Da872D223AB3D073Ab6f9B4bb27540E387C5F;
  address public constant CHINESE_EXCHANGE_3 = 0xCcC088ec38A4dbc15Ba269A176883F6ba302eD8d;
  // TODO: set address
  address public constant CHINESE_EXCHANGE_4 = 0;

  // Tokens per eth for the various buy-in rates.
  // 1e8 ETH in existence, means at most 1.5e11 issued.
  uint public constant STANDARD_BUYIN = 1000;
  uint public constant TIER_2_BUYIN = 1111;
  uint public constant TIER_3_BUYIN = 1250;
  uint public constant TIER_4_BUYIN = 1429;
  uint public constant CHINESE_EXCHANGE_BUYIN = 1087;

  //////
  // State Subset: Allocations
  //
  // Invariants:
  // !allocationsInitialised ||
  //   (liquidAllocatable + tokens.liquidAllocated) / LIQUID_ALLOCATION_PPM == totalSold / SALES_ALLOCATION_PPM &&
  //   (lockedAllocatable + tokens.lockedAllocated) / LOCKED_ALLOCATION_PPM == totalSold / SALES_ALLOCATION_PPM
  //
  // when_allocations_complete || (now < END_TIME && saleRevenue < MAX_REVENUE)

  // Have post-sale token allocations been initialised?
  bool public allocationsInitialised = false;
  // How many liquid tokens may yet be allocated?
  uint public liquidAllocatable;
  // How many locked tokens may yet be allocated?
  uint public lockedAllocatable;

  //////
  // State Subset: Sale
  //
  // Invariants:
  // saleRevenue <= MAX_REVENUE

  // Total amount raised in both presale and sale, in Wei.
  // Assuming TREASURY locks funds, so can not exceed total amount of Ether 1e8.
  uint public saleRevenue = 0;
  // Total amount minted in both presale and sale, in AMB * 10^-18.
  // Assuming the TREASURY locks funds, msg.value * STANDARD_BUYIN will be less than 1.5e11.
  uint public totalSold = 0;

  //////
  // State Subset: Tokens

  // The contract which gets called whenever anything is received.
  AmberToken public tokens;

  //////
  // State Subset: Pause

  // Are contributions abnormally paused?
  bool public isPaused = false;
}
/// Will accept Ether "contributions" and record each both as a log and in a
/// queryable record.
function allocateLocked(address _who, uint _value)
    only_admin
    when_allocatable_locked(_value)
    public
  {
    // Admin ensures bounded value.
    tokens.mintLocked(_who, _value);
    lockedAllocatable -= _value;
    Allocated(_who, _value, false);
  }
/// Preallocate a locked-up portion of tokens.
/// Admin may call this to allocate a share of the locked tokens.
/// Up to admin to ensure that value does not overflow and _value is divisible by UNLOCK_PHASES.
///
/// Preconditions: allocations_initialised
/// Postconditions: ?allocations_complete
/// Writes {Allocations, Tokens}