Ward curve, p=2, r=6 terms, sym=True p4=False
  expanded 2000 states, stack 59, visited 2135, accepts 0, 12s
  expanded 4000 states, stack 169, visited 4263, accepts 0, 22s
  expanded 6000 states, stack 152, visited 6246, accepts 0, 32s
  expanded 8000 states, stack 44, visited 8177, accepts 0, 42s
finished: aborted=False, states expanded 8106, visited 9262, time 43.3s
  child_dead_rank                          847450
  child_seen_(dead)                        1062701
  child_seen_(leaf)                        272949
  child_seen_(live)                        5765
  dead_trivial                             61
  degenerate_accept_(equal_monomials)      144
  leaf_reject                              1095
  node_s1_depth3_dead                      16
  node_s1_depth3_leaf                      1095
  node_s2_depth2_dead                      40
  node_s2_depth2_live                      8003
  node_s3_depth2_dead                      4
  node_s3_depth2_live                      58
  node_s4_depth1_dead                      1
  node_s4_depth1_live                      44
  terminal_ACCEPT                          144
degenerate accepts (some X_i = X_j, discarded): 144
ACCEPTED relations between distinct monomials: 0
