Ward curve, p=2, r=5 terms, sym=True p4=True
finished: aborted=False, states expanded 23, visited 1067, time 0.2s
  child_seen_(dead)                        1923
  child_seen_(leaf)                        1
  child_seen_(live)                        1
  dead_p4                                  10
  dead_trivial                             15
  leaf_reject                              1019
  node_s1_depth2_dead                      15
  node_s1_depth2_leaf                      1019
  node_s2_depth2_dead                      6
  node_s3_depth1_dead                      4
  node_s3_depth1_live                      22
degenerate accepts (some X_i = X_j, discarded): 0
ACCEPTED relations between distinct monomials: 0
