# A few lines of characteristic input.