Ward curve, p=2, r=3 terms, sym=True p4=True
finished: aborted=False, states expanded 1, visited 6, time 0.0s
  child_seen_(dead)                        4
  child_seen_(live)                        1
  dead_p4                                  1
  dead_trivial                             1
  leaf_reject                              3
  node_s1_depth1_dead                      2
  node_s1_depth1_leaf                      3
degenerate accepts (some X_i = X_j, discarded): 0
ACCEPTED relations between distinct monomials: 0
