import java.lang.*;
import java.io.*;
import java.util.*;
-import org.altusmetrum.altoslib_8.*;
-import org.altusmetrum.altosuilib_8.*;
+import org.altusmetrum.altoslib_9.*;
+import org.altusmetrum.altosuilib_9.*;
class MicroIterator implements Iterator<MicroDataPoint> {
int i;