package gprover;

/**
 * Created by IntelliJ IDEA.
 * User: ye
 * Date: Nov 17, 2006
 * Time: 4:27:45 PM
 * To change this template use File | Settings | File Templates.
 */
public class node {
    int[] p = new int[3];
    node nx;
}
