algorithmicx input output