USACO ariprog.