Input

See ALPHA[1].