aiger_coins
