Main {
  public static void main(String args[]) throws Exception {{
    Cd_graph m = Cd_graph.parse(System.in);
    ClassGraph cg1 = new ClassGraph(true,false);
    m.checkInheritanceCycle(cg1);
    m.checkUnique(cg1);
    m.checkTerminalBuff(cg1);
  }}
}