AMAYA Operator’s Manual.