// add Intersection and Negation
Main { {{
  static void p(String s){ System.out.println(s); }
  public static void main(String args[]) throws Exception {

    // to say that Node is a builtIn class
    // edu.neu.ccs.demeterf.util.Util.addBuiltIn(Node.class);

    Main m = Main.parse(System.in);
    p(" pair result ");
    Pair p = m.c.check();
    p.print();
    System.out.println(" done ");
  }
}}
}

 Pair { {{ 
  static Pair make(int ww, int vv){
    return new Pair(ww,vv);
  }
  Pair add(int ww, int vv){
    return Pair.make(w+ww, v+vv);
  }
}}
}


Container { {{
Pair check() {
    return new edu.neu.ccs.demeterf.Traversal(new Check()).<Pair> traverse(this);
}
}}
}

*{ void print() to * (PrintVisitor);}