Ward curve, p=2, r=7 terms, sym=True p4=True
  expanded 2000 states, stack 112, visited 2216, accepts 0, 74s
  expanded 4000 states, stack 330, visited 4730, accepts 0, 162s
  ACCEPT depth 2: exponents [(-2, 0), (-1, 0), (-3, 1), (1, 1), (-3, -1), (1, -1), (0, 0)]
  ACCEPT depth 2: exponents [(-2, 0), (-1, 0), (-3, 1), (1, 1), (1, -1), (-3, -1), (0, 0)]
  ACCEPT depth 2: exponents [(-2, 0), (-1, 0), (1, 1), (-3, 1), (-3, -1), (1, -1), (0, 0)]
  ACCEPT depth 2: exponents [(-2, 0), (-1, 0), (1, 1), (-3, 1), (1, -1), (-3, -1), (0, 0)]
  ACCEPT depth 2: exponents [(2, 0), (1, 0), (-1, 1), (3, 1), (-1, -1), (3, -1), (0, 0)]
  ACCEPT depth 2: exponents [(2, 0), (1, 0), (-1, 1), (3, 1), (3, -1), (-1, -1), (0, 0)]
  ACCEPT depth 2: exponents [(2, 0), (1, 0), (3, 1), (-1, 1), (-1, -1), (3, -1), (0, 0)]
  ACCEPT depth 2: exponents [(2, 0), (1, 0), (3, 1), (-1, 1), (3, -1), (-1, -1), (0, 0)]
  ACCEPT depth 3: exponents [(2, 0), (1, 0), (3, 1), (-1, 1), (3, -1), (-1, -1), (0, 0)]
  ACCEPT depth 3: exponents [(-2, 0), (-1, 0), (1, 1), (-3, 1), (1, -1), (-3, -1), (0, 0)]
  expanded 6000 states, stack 580, visited 10067, accepts 10, 228s
  expanded 8000 states, stack 732, visited 12705, accepts 10, 356s
  expanded 10000 states, stack 268, visited 14265, accepts 10, 487s
  expanded 12000 states, stack 220, visited 16469, accepts 10, 620s
  ACCEPT depth 2: exponents [(1, 0), (-1, 0), (-2, 1), (2, 1), (-2, -1), (2, -1), (0, 0)]
  ACCEPT depth 2: exponents [(1, 0), (-1, 0), (-2, 1), (2, 1), (2, -1), (-2, -1), (0, 0)]
  ACCEPT depth 2: exponents [(1, 0), (-1, 0), (2, 1), (-2, 1), (-2, -1), (2, -1), (0, 0)]
  ACCEPT depth 2: exponents [(1, 0), (-1, 0), (2, 1), (-2, 1), (2, -1), (-2, -1), (0, 0)]
  ACCEPT depth 3: exponents [(1, 0), (-1, 0), (2, 1), (-2, 1), (2, -1), (-2, -1), (0, 0)]
  expanded 14000 states, stack 483, visited 20484, accepts 15, 734s
  expanded 16000 states, stack 755, visited 22772, accepts 15, 890s
  expanded 18000 states, stack 291, visited 24736, accepts 15, 1047s
  expanded 20000 states, stack 63, visited 27121, accepts 15, 1180s
  expanded 22000 states, stack 608, visited 29756, accepts 15, 1315s
  expanded 24000 states, stack 792, visited 32869, accepts 15, 1402s
  expanded 26000 states, stack 24, visited 35100, accepts 15, 1518s
  expanded 28000 states, stack 1096, visited 38892, accepts 15, 1731s
  expanded 30000 states, stack 462, visited 40294, accepts 15, 1910s
  expanded 32000 states, stack 790, visited 42982, accepts 15, 2083s
  ACCEPT depth 2: exponents [(-4, 0), (-4, 2), (0, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0)]
  ACCEPT depth 2: exponents [(-4, 0), (0, 2), (-4, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0)]
  ACCEPT depth 2: exponents [(-4, 0), (-4, -2), (0, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0)]
  ACCEPT depth 2: exponents [(-4, 0), (0, -2), (-4, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0)]
  expanded 34000 states, stack 432, visited 45071, accepts 19, 2231s
  ACCEPT depth 3: exponents [(4, 0), (0, -2), (4, -2), (2, -1), (1, -1), (3, -1), (0, 0)]
  ACCEPT depth 3: exponents [(-4, 0), (0, -2), (-4, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0)]
  ACCEPT depth 3: exponents [(4, 0), (0, 2), (4, 2), (2, 1), (1, 1), (3, 1), (0, 0)]
  ACCEPT depth 3: exponents [(-4, 0), (0, 2), (-4, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0)]
  expanded 36000 states, stack 663, visited 52940, accepts 23, 2377s
  expanded 38000 states, stack 31, visited 54308, accepts 23, 2541s
finished: aborted=False, states expanded 38031, visited 54331, time 2543.7s
  child_dead_rank                          21774143
  child_seen_(dead)                        37903976
  child_seen_(leaf)                        102
  child_seen_(live)                        16
  dead_p4                                  478
  dead_trivial                             596
  leaf_ACCEPT                              7
  leaf_reject                              15219
  node_s1_depth3_dead                      835
  node_s1_depth3_leaf                      15226
  node_s2_depth3_dead                      15
  node_s2_depth3_live                      488
  node_s3_depth2_dead                      203
  node_s3_depth2_live                      37477
  node_s4_depth2_dead                      15
  node_s5_depth1_dead                      6
  node_s5_depth1_live                      65
  terminal_ACCEPT                          16
degenerate accepts (some X_i = X_j, discarded): 0
ACCEPTED relations between distinct monomials: 23
   ((-2, 0), (-1, 0), (-3, 1), (1, 1), (-3, -1), (1, -1), (0, 0))
   ((-2, 0), (-1, 0), (-3, 1), (1, 1), (1, -1), (-3, -1), (0, 0))
   ((-2, 0), (-1, 0), (1, 1), (-3, 1), (-3, -1), (1, -1), (0, 0))
   ((-2, 0), (-1, 0), (1, 1), (-3, 1), (1, -1), (-3, -1), (0, 0))
   ((2, 0), (1, 0), (-1, 1), (3, 1), (-1, -1), (3, -1), (0, 0))
   ((2, 0), (1, 0), (-1, 1), (3, 1), (3, -1), (-1, -1), (0, 0))
   ((2, 0), (1, 0), (3, 1), (-1, 1), (-1, -1), (3, -1), (0, 0))
   ((2, 0), (1, 0), (3, 1), (-1, 1), (3, -1), (-1, -1), (0, 0))
   ((2, 0), (1, 0), (3, 1), (-1, 1), (3, -1), (-1, -1), (0, 0))
   ((-2, 0), (-1, 0), (1, 1), (-3, 1), (1, -1), (-3, -1), (0, 0))
   ((1, 0), (-1, 0), (-2, 1), (2, 1), (-2, -1), (2, -1), (0, 0))
   ((1, 0), (-1, 0), (-2, 1), (2, 1), (2, -1), (-2, -1), (0, 0))
   ((1, 0), (-1, 0), (2, 1), (-2, 1), (-2, -1), (2, -1), (0, 0))
   ((1, 0), (-1, 0), (2, 1), (-2, 1), (2, -1), (-2, -1), (0, 0))
   ((1, 0), (-1, 0), (2, 1), (-2, 1), (2, -1), (-2, -1), (0, 0))
   ((-4, 0), (-4, 2), (0, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0))
   ((-4, 0), (0, 2), (-4, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0))
   ((-4, 0), (-4, -2), (0, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0))
   ((-4, 0), (0, -2), (-4, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0))
   ((4, 0), (0, -2), (4, -2), (2, -1), (1, -1), (3, -1), (0, 0))
   ((-4, 0), (0, -2), (-4, -2), (-2, -1), (-3, -1), (-1, -1), (0, 0))
   ((4, 0), (0, 2), (4, 2), (2, 1), (1, 1), (3, 1), (0, 0))
   ((-4, 0), (0, 2), (-4, 2), (-2, 1), (-3, 1), (-1, 1), (0, 0))
