package gprover;

/**
 * Created by IntelliJ IDEA.
 * User: yezheng
 * Date: 2006-4-20
 * Time: 17:00:06
 * To change this template use File | Settings | File Templates.
 */
public class point {
    int n;
    double x, y;
}
