// This file is automatically generated by DemeterJ.

TraceVisitor {
  {{
    protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true);
    java.io.PrintWriter get_out()             { return out; }
    void set_out(java.io.PrintWriter new_out) { out = new_out; }
    TraceVisitor(java.io.PrintWriter out)     { set_out(out); }
    TraceVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  finish {{ out.flush(); }}


  before Output {{
    out.println("before Output");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Output {{
    out.println("after Output");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Output, solution, Solution {{
    out.println("before -> Output, solution, Solution ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Output, solution, Solution {{
    out.println("after -> Output, solution, Solution ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Output, diagnostics, Diagnostics {{
    out.println("before -> Output, diagnostics, Diagnostics ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Output, diagnostics, Diagnostics {{
    out.println("after -> Output, diagnostics, Diagnostics ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Solution {{
    out.println("before Solution");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Solution {{
    out.println("after Solution");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before SAT {{
    out.println("before SAT");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SAT {{
    out.println("after SAT");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SAT, assignment, Assignment {{
    out.println("before -> SAT, assignment, Assignment ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SAT, assignment, Assignment {{
    out.println("after -> SAT, assignment, Assignment ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Assignment {{
    out.println("before Assignment");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Assignment {{
    out.println("after Assignment");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Assignment, literal_list, Literal_List {{
    out.println("before -> Assignment, literal_list, Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Assignment, literal_list, Literal_List {{
    out.println("after -> Assignment, literal_list, Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Literal {{
    out.println("before Literal");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Literal {{
    out.println("after Literal");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Literal, variable, Variable {{
    out.println("before -> Literal, variable, Variable ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Literal, variable, Variable {{
    out.println("after -> Literal, variable, Variable ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Pos {{
    out.println("before Pos");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Pos {{
    out.println("after Pos");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Neg {{
    out.println("before Neg");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Neg {{
    out.println("after Neg");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Variable {{
    out.println("before Variable");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Variable {{
    out.println("after Variable");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Variable, v, Ident {{
    out.println("before -> Variable, v, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Variable, v, Ident {{
    out.println("after -> Variable, v, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UNSAT {{
    out.println("before UNSAT");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UNSAT {{
    out.println("after UNSAT");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> UNSAT, optionalproof, OptionalProof {{
    out.println("before -> UNSAT, optionalproof, OptionalProof ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> UNSAT, optionalproof, OptionalProof {{
    out.println("after -> UNSAT, optionalproof, OptionalProof ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Diagnostics {{
    out.println("before Diagnostics");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Diagnostics {{
    out.println("after Diagnostics");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, up, UP {{
    out.println("before -> Diagnostics, up, UP ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, up, UP {{
    out.println("after -> Diagnostics, up, UP ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, d, D {{
    out.println("before -> Diagnostics, d, D ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, d, D {{
    out.println("after -> Diagnostics, d, D ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, ssr, SSR {{
    out.println("before -> Diagnostics, ssr, SSR ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, ssr, SSR {{
    out.println("after -> Diagnostics, ssr, SSR ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, b, B {{
    out.println("before -> Diagnostics, b, B ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, b, B {{
    out.println("after -> Diagnostics, b, B ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, tssr, TSSR {{
    out.println("before -> Diagnostics, tssr, TSSR ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, tssr, TSSR {{
    out.println("after -> Diagnostics, tssr, TSSR ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Diagnostics, nv, NV {{
    out.println("before -> Diagnostics, nv, NV ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Diagnostics, nv, NV {{
    out.println("after -> Diagnostics, nv, NV ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UP {{
    out.println("before UP");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UP {{
    out.println("after UP");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> UP, up, Number {{
    out.println("before -> UP, up, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> UP, up, Number {{
    out.println("after -> UP, up, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before D {{
    out.println("before D");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after D {{
    out.println("after D");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> D, d, Number {{
    out.println("before -> D, d, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> D, d, Number {{
    out.println("after -> D, d, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before SSR {{
    out.println("before SSR");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SSR {{
    out.println("after SSR");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SSR, ssr, Number {{
    out.println("before -> SSR, ssr, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SSR, ssr, Number {{
    out.println("after -> SSR, ssr, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before B {{
    out.println("before B");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after B {{
    out.println("after B");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> B, b, Number {{
    out.println("before -> B, b, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> B, b, Number {{
    out.println("after -> B, b, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TSSR {{
    out.println("before TSSR");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TSSR {{
    out.println("after TSSR");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TSSR, tssr, Number {{
    out.println("before -> TSSR, tssr, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TSSR, tssr, Number {{
    out.println("after -> TSSR, tssr, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before NV {{
    out.println("before NV");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after NV {{
    out.println("after NV");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> NV, nv, Number {{
    out.println("before -> NV, nv, Number ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> NV, nv, Number {{
    out.println("after -> NV, nv, Number ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before OptionalProof {{
    out.println("before OptionalProof");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after OptionalProof {{
    out.println("after OptionalProof");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Proof {{
    out.println("before Proof");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Proof {{
    out.println("after Proof");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Proof, proof, Text {{
    out.println("before -> Proof, proof, Text ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Proof, proof, Text {{
    out.println("after -> Proof, proof, Text ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nothing {{
    out.println("before Nothing");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nothing {{
    out.println("after Nothing");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Main {{
    out.println("before Main");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Main {{
    out.println("after Main");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before PrintVisitor {{
    out.println("before PrintVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after PrintVisitor {{
    out.println("after PrintVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> PrintVisitor, indent, int {{
    out.println("before -> PrintVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> PrintVisitor, indent, int {{
    out.println("after -> PrintVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> PrintVisitor, needSpace, boolean {{
    out.println("before -> PrintVisitor, needSpace, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> PrintVisitor, needSpace, boolean {{
    out.println("after -> PrintVisitor, needSpace, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before CopyVisitor {{
    out.println("before CopyVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after CopyVisitor {{
    out.println("after CopyVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> CopyVisitor, copy, Object {{
    out.println("before -> CopyVisitor, copy, Object ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> CopyVisitor, copy, Object {{
    out.println("after -> CopyVisitor, copy, Object ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before SubgraphVisitor {{
    out.println("before SubgraphVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SubgraphVisitor {{
    out.println("after SubgraphVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SubgraphVisitor, is_equal, boolean {{
    out.println("before -> SubgraphVisitor, is_equal, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SubgraphVisitor, is_equal, boolean {{
    out.println("after -> SubgraphVisitor, is_equal, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before EqualVisitor {{
    out.println("before EqualVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after EqualVisitor {{
    out.println("after EqualVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> EqualVisitor, is_equal, boolean {{
    out.println("before -> EqualVisitor, is_equal, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> EqualVisitor, is_equal, boolean {{
    out.println("after -> EqualVisitor, is_equal, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before DisplayVisitor {{
    out.println("before DisplayVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after DisplayVisitor {{
    out.println("after DisplayVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> DisplayVisitor, indent, int {{
    out.println("before -> DisplayVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> DisplayVisitor, indent, int {{
    out.println("after -> DisplayVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TraceVisitor {{
    out.println("before TraceVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TraceVisitor {{
    out.println("after TraceVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TraceVisitor, indent, int {{
    out.println("before -> TraceVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TraceVisitor, indent, int {{
    out.println("after -> TraceVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UniversalVisitor {{
    out.println("before UniversalVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UniversalVisitor {{
    out.println("after UniversalVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Literal_List {{
    out.println("before Literal_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Literal_List {{
    out.println("after Literal_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Literal_List, first, Nonempty_Literal_List {{
    out.println("before -> Literal_List, first, Nonempty_Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Literal_List, first, Nonempty_Literal_List {{
    out.println("after -> Literal_List, first, Nonempty_Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Literal_List {{
    out.println("before Nonempty_Literal_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Literal_List {{
    out.println("after Nonempty_Literal_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Literal_List, it, Literal {{
    out.println("before -> Nonempty_Literal_List, it, Literal ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Literal_List, it, Literal {{
    out.println("after -> Nonempty_Literal_List, it, Literal ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Literal_List, next, Nonempty_Literal_List {{
    out.println("before -> Nonempty_Literal_List, next, Nonempty_Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Literal_List, next, Nonempty_Literal_List {{
    out.println("after -> Nonempty_Literal_List, next, Nonempty_Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
}