algorithmicx input