Ward curve, p=2, r=6 terms, sym=True p4=True
  expanded 2000 states, stack 41, visited 2133, accepts 0, 8s
  expanded 4000 states, stack 151, visited 4255, accepts 0, 16s
  expanded 6000 states, stack 134, visited 6238, accepts 0, 24s
  expanded 8000 states, stack 4, visited 8153, accepts 0, 31s
finished: aborted=False, states expanded 8004, visited 8164, time 31.2s
  child_dead_rank                          834804
  child_seen_(dead)                        1309519
  child_seen_(live)                        6
  dead_p4                                  39
  dead_trivial                             49
  degenerate_accept_(equal_monomials)      48
  leaf_reject                              72
  node_s1_depth3_dead                      5
  node_s1_depth3_leaf                      72
  node_s2_depth2_dead                      68
  node_s2_depth2_live                      7963
  node_s3_depth2_dead                      10
  node_s4_depth1_dead                      5
  node_s4_depth1_live                      40
  terminal_ACCEPT                          48
degenerate accepts (some X_i = X_j, discarded): 48
ACCEPTED relations between distinct monomials: 0
elapsed_seconds 31
