(herald "Plain diffie-hellman protocol with challenge-response"
  (algebra diffie-hellman))
(comment "CPSA 3.4.0")
(comment "All input read from plaindh.scm")

Tree 0.

(defprotocol plaindh diffie-hellman
  (defrole init
    (vars (x expn) (h base) (n text))
    (trace (send (exp (gen) x)) (recv h) (send (enc n (exp h x)))
      (recv n))
    (uniq-orig n)
    (uniq-gen x))
  (defrole resp
    (vars (y expn) (h base) (n text))
    (trace (recv h) (send (exp (gen) y)) (recv (enc n (exp h y)))
      (send n))
    (uniq-gen y)
    (absent (y h)))
  (comment "Diffie-hellman key exchange followed by an encryption"))

Item 0, Children: 1 2.

(defskeleton plaindh
  (vars (n text) (h base) (x expn))
  (defstrand init 4 (n n) (h h) (x x))
  (uniq-gen x)
  (uniq-orig n)
  (label 0)
  (unrealized (0 3))
  (origs (n (0 2)))
  (comment "2 in cohort - 2 not yet seen"))

Item 1, Parent: 0, Children: 3 4 5 6 7.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp h y)) (x x))
  (defstrand resp 4 (n n) (h (exp h x)) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3)))
  (absent (y (exp h x)))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 4) n (0 3)
    (enc n (exp h (mul x y))))
  (label 1)
  (parent 0)
  (unrealized (0 1) (1 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 2, Parent: 0, Children: 8 9 10 11 12.

(defskeleton plaindh
  (vars (n text) (h base) (x expn))
  (defstrand init 4 (n n) (h h) (x x))
  (deflistener (exp h x))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (added-listener (exp h x)) n (0 3)
    (enc n (exp h x)))
  (label 2)
  (parent 0)
  (unrealized (1 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 3, Parent: 1, Child: 13.

(defskeleton plaindh
  (vars (n text) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3)))
  (absent (y (gen)))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (contracted (h (exp (gen) (rec x)))) (gen)
    (1 0))
  (label 3)
  (parent 1)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 4, Parent: 1, Child: 14.

(defskeleton plaindh
  (vars (n text) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x)) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3)))
  (absent (y (exp (gen) x)))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 2 0 init 1) (exp (gen) x-0) (1 0))
  (label 4)
  (parent 1)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 5, Parent: 1, Child: 15.

(defskeleton plaindh
  (vars (n text) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 0) (1 0)))
  (absent (y (exp (gen) x-0)))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (1 0))
  (label 5)
  (parent 1)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 6, Parent: 1, Child: 16.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (1 0))
  (label 6)
  (parent 1)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 7, Parent: 1, Children: 17 18 19 20.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr))
  (defstrand init 4 (n n) (h (exp h y)) (x x))
  (defstrand resp 4 (n n) (h (exp h x)) (y y))
  (deflistener (cat (exp h (mul x (rec w))) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)))
  (absent (y (exp h x)))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (added-listener (cat (exp h (mul x (rec w))) w))
    (exp h x) (1 0))
  (label 7)
  (parent 1)
  (unrealized (0 1) (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 8, Parent: 2, Child: 21.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (contracted (h (exp (gen) (rec x)))) (gen)
    (1 0))
  (label 8)
  (parent 2)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 9, Parent: 2, Child: 22.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (gen)) (x x))
  (deflistener (exp (gen) x))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (displaced 2 0 init 1) (exp (gen) x-0) (1 0))
  (label 9)
  (parent 2)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 10, Parent: 2, Child: 23.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)) ((2 0) (0 1)) ((2 0) (1 0)))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (1 0))
  (label 10)
  (parent 2)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 11, Parent: 2, Child: 24.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)) ((2 1) (0 1)) ((2 1) (1 0)))
  (absent (y h))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (1 0))
  (label 11)
  (parent 2)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 12, Parent: 2, Children: 25 26 27 28.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr))
  (defstrand init 4 (n n) (h h) (x x))
  (deflistener (exp h x))
  (deflistener (cat (exp h (mul x (rec w))) w))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (added-listener (cat (exp h (mul x (rec w))) w))
    (exp h x) (1 0))
  (label 12)
  (parent 2)
  (unrealized (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 13, Parent: 3, Children: 29 30 31 32 33.

(defskeleton plaindh
  (vars (n text) (x y expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) (mul (rec x) y (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)))
  (absent (y (gen)))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) y (rec w))) w))
    (exp (gen) (mul (rec x) y)) (0 1))
  (label 13)
  (parent 3)
  (unrealized (2 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 14, Parent: 4, Child: 34.

(defskeleton plaindh
  (vars (n text) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (absent (y (exp (gen) x)))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 0))
  (label 14)
  (parent 4)
  (unrealized)
  (origs (n (0 2)))
  (comment "1 in cohort - 1 not yet seen"))

Item 15, Parent: 5, Children: 35 36 37 38 39 40.

(defskeleton plaindh
  (vars (n text) (x y x-0 expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) (mul (rec x) y x-0 (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) y x-0 (rec w))) w))
    (exp (gen) (mul (rec x) y x-0)) (0 1))
  (label 15)
  (parent 5)
  (unrealized (3 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 16, Parent: 6, Children: 41 42 43 44 45 46.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) (mul (rec x) y y-0 (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) y y-0 (rec w))) w))
    (exp (gen) (mul (rec x) y y-0)) (0 1))
  (label 16)
  (parent 6)
  (unrealized (3 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 17, Parent: 7, Children: 47 48.

(defskeleton plaindh
  (vars (n text) (x y expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) w)) (y y))
  (deflistener (cat (gen) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)))
  (absent (y (exp (gen) w)))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (h (exp (gen) (mul (rec x) w))))
    (gen) (2 0))
  (label 17)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 18, Parent: 7, Child: 49.

(defskeleton plaindh
  (vars (n text) (y expn) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y w))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x))) (y y))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)))
  (absent (y (exp (gen) (mul w x))))
  (precur (2 0))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 3 0 init 1) (exp (gen) x-0) (2 0))
  (label 18)
  (parent 7)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 19, Parent: 7, Children: 50 51.

(defskeleton plaindh
  (vars (n text) (x y expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x-0))) (y y))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)))
  (absent (y (exp (gen) (mul w x-0))))
  (precur (2 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (2 0))
  (label 19)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 20, Parent: 7, Children: 52 53.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w y-0))) (y y))
  (deflistener (cat (exp (gen) y-0) w))
  (defstrand resp 2 (h h) (y y-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)))
  (absent (y-0 h) (y (exp (gen) (mul w y-0))))
  (precur (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (2 0))
  (label 20)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 21, Parent: 8, Children: 54 55 56 57.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (exp (gen) (mul (rec x) (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (0 1)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) (rec w))) w))
    (exp (gen) (rec x)) (0 1))
  (label 21)
  (parent 8)
  (unrealized (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 22, Parent: 9.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (gen)) (x x))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 0))
  (label 22)
  (parent 9)
  (unrealized)
  (shape)
  (maps ((0) ((x x) (h (gen)) (n n))))
  (origs (n (0 2))))

Item 23, Parent: 10, Children: 58 59 60 61 62.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) (mul (rec x) x-0 (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)))
  (uniq-gen x x-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) x-0 (rec w))) w))
    (exp (gen) (mul (rec x) x-0)) (0 1))
  (label 23)
  (parent 10)
  (unrealized (3 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 24, Parent: 11, Children: 63 64 65 66 67.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) (mul (rec x) y (rec w))) w))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)))
  (absent (y h))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) y (rec w))) w))
    (exp (gen) (mul (rec x) y)) (0 1))
  (label 24)
  (parent 11)
  (unrealized (3 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 25, Parent: 12, Children: 68 69 70 71 72.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w))) (x x))
  (deflistener (exp (gen) w))
  (deflistener (cat (gen) w))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (h (exp (gen) (mul (rec x) w))))
    (gen) (2 0))
  (label 25)
  (parent 12)
  (unrealized (0 1))
  (comment "5 in cohort - 5 not yet seen"))

Item 26, Parent: 12, Child: 73.

(defskeleton plaindh
  (vars (n text) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (deflistener (exp (gen) (mul w x)))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)))
  (precur (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (displaced 3 0 init 1) (exp (gen) x-0) (2 0))
  (label 26)
  (parent 12)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 27, Parent: 12, Children: 74 75 76 77 78 79.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w x-0))) (x x))
  (deflistener (exp (gen) (mul w x-0)))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (2 0))
  (label 27)
  (parent 12)
  (unrealized (0 1))
  (comment "6 in cohort - 6 not yet seen"))

Item 28, Parent: 12, Children: 80 81 82 83 84 85.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w y))) (x x))
  (deflistener (exp (gen) (mul w y)))
  (deflistener (cat (exp (gen) y) w))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (2 0))
  (label 28)
  (parent 12)
  (unrealized (0 1))
  (comment "6 in cohort - 6 not yet seen"))

Item 29, Parent: 13.

(defskeleton plaindh
  (vars (n text) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (gen) (mul (rec x) y)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)))
  (absent (y (gen)))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (x-0 x) (y-0 y) (w (mul (rec x) y)))
    (gen) (2 0))
  (label 29)
  (parent 13)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 30, Parent: 13.

(defskeleton plaindh
  (vars (n text) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y (rec x)))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) x) (mul y (rec x) (rec x))))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)))
  (absent (y (gen)))
  (precur (2 0))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 3 0 init 1) (exp (gen) x-0) (2 0))
  (label 30)
  (parent 13)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 31, Parent: 13.

(defskeleton plaindh
  (vars (n text) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) y (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)) ((3 0) (2 0)))
  (absent (y (gen)))
  (precur (2 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (2 0))
  (label 31)
  (parent 13)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 32, Parent: 13, Child: 86.

(defskeleton plaindh
  (vars (n text) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) y) (rec x)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)))
  (absent (y (gen)))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 3 1 resp 2) (exp (gen) y-0) (2 0))
  (label 32)
  (parent 13)
  (unrealized (0 1) (2 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 33, Parent: 13.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) y-0) (mul (rec x) y (rec y-0))))
  (defstrand resp 2 (h h) (y y-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 3) (0 3))
    ((2 1) (0 1)) ((3 1) (2 0)))
  (absent (y-0 h) (y (gen)))
  (precur (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (2 0))
  (label 33)
  (parent 13)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 34, Parent: 14.

(defskeleton plaindh
  (vars (n text) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization forgot y)
  (label 34)
  (parent 14)
  (unrealized)
  (shape)
  (maps ((0) ((x x) (h (exp (gen) y)) (n n))))
  (origs (n (0 2))))

Item 35, Parent: 15.

(defskeleton plaindh
  (vars (n text) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (gen) (mul (rec x) y x-0)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (contracted (x-1 x) (y-0 y) (x-2 x-0) (w (mul (rec x) y x-0))) (gen)
    (3 0))
  (label 35)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 36, Parent: 15.

(defskeleton plaindh
  (vars (n text) (y x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y x (rec x-0)))) (x x-0))
  (defstrand resp 4 (n n) (h (exp (gen) x)) (y y))
  (defstrand init 1 (x x))
  (deflistener (cat (exp (gen) x-0) (mul y x (rec x-0) (rec x-0))))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) x)))
  (precur (3 0))
  (uniq-gen y x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-1) (3 0))
  (label 36)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 37, Parent: 15.

(defskeleton plaindh
  (vars (n text) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) y)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (precur (3 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 2 init 1) (exp (gen) x-1) (3 0))
  (label 37)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 38, Parent: 15.

(defskeleton plaindh
  (vars (n text) (x y x-0 x-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-1) (mul (rec x) y x-0 (rec x-1))))
  (defstrand init 1 (x x-1))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y (exp (gen) x-0)))
  (precur (3 0))
  (uniq-gen x y x-0 x-1)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-1) (3 0))
  (label 38)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 39, Parent: 15.

(defskeleton plaindh
  (vars (n text) (x x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0 y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y) (mul (rec x) x-0)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (precur (3 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 1 resp 2) (exp (gen) y-0) (3 0))
  (label 39)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 40, Parent: 15.

(defskeleton plaindh
  (vars (n text) (h base) (x y x-0 y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x-0)) (y y))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y-0) (mul (rec x) y x-0 (rec y-0))))
  (defstrand resp 2 (h h) (y y-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 0) (1 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y-0 h) (y (exp (gen) x-0)))
  (precur (3 0))
  (uniq-gen x y x-0 y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (3 0))
  (label 40)
  (parent 15)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 41, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (gen) (mul (rec x) y y-0)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (contracted (x-0 x) (y-1 y) (y-2 y-0) (w (mul (rec x) y y-0))) (gen)
    (3 0))
  (label 41)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 42, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h base) (y y-0 x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y y-0 (rec x)))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) x) (mul y y-0 (rec x) (rec x))))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (precur (3 0))
  (uniq-gen y y-0 x)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-0) (3 0))
  (label 42)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 43, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) y y-0 (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (precur (3 0))
  (uniq-gen x y y-0 x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (3 0))
  (label 43)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 44, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y)) (y y-0))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y-0) (mul (rec x) y)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y-0 (exp (gen) y)) (y h))
  (precur (3 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 1 resp 2) (exp (gen) y-1) (3 0))
  (label 44)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 45, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) y-0) (mul (rec x) y)))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (precur (3 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 2 resp 2) (exp (gen) y-1) (3 0))
  (label 45)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 46, Parent: 16.

(defskeleton plaindh
  (vars (n text) (h h-0 base) (x y y-0 y-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) y-0)) (y y))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) y-1) (mul (rec x) y y-0 (rec y-1))))
  (defstrand resp 2 (h h-0) (y y-1))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y-1 h-0) (y-0 h) (y (exp (gen) y-0)))
  (precur (3 0))
  (uniq-gen x y y-0 y-1)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-1) (3 0))
  (label 46)
  (parent 16)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 47, Parent: 17.

(defskeleton plaindh
  (vars (n text) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x)) (y y))
  (deflistener (cat (gen) x))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)))
  (absent (y (exp (gen) x)))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 3 1 resp 2) (exp (gen) y-0) (0 1))
  (label 47)
  (parent 17)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 48, Parent: 17, Children: 87 88 89 90 91.

(defskeleton plaindh
  (vars (n text) (x y expn) (w w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) w)) (y y))
  (deflistener (cat (gen) w))
  (deflistener (cat (exp (gen) (mul (rec x) y w (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) w)))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) y w (rec w-0))) w-0))
    (exp (gen) (mul (rec x) y w)) (0 1))
  (label 48)
  (parent 17)
  (unrealized (3 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 49, Parent: 18, Child: 92.

(defskeleton plaindh
  (vars (n text) (y expn) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y w))) (x x))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (1 0)) ((1 1) (0 1)))
  (absent (y (exp (gen) (mul w x))))
  (precur (1 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 0))
  (label 49)
  (parent 18)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 50, Parent: 19.

(defskeleton plaindh
  (vars (n text) (x x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x)) (y y))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)))
  (absent (y (exp (gen) x)))
  (precur (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 1 resp 2) (exp (gen) y-0) (0 1))
  (label 50)
  (parent 19)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 51, Parent: 19, Children: 93 94 95 96 97 98.

(defskeleton plaindh
  (vars (n text) (x y expn) (w expr) (x-0 expn) (w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w x-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x-0))) (y y))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) (mul (rec x) y w x-0 (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul w x-0))))
  (precur (4 0) (2 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test
    (added-listener
      (cat (exp (gen) (mul (rec x) y w x-0 (rec w-0))) w-0))
    (exp (gen) (mul (rec x) y w x-0)) (0 1))
  (label 51)
  (parent 19)
  (unrealized (4 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 52, Parent: 20.

(defskeleton plaindh
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) y-0)) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) x)) (y y-0))
  (deflistener (cat (exp (gen) y) (mul x (rec y))))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (0 1)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)))
  (absent (y-0 (exp (gen) x)) (y h))
  (precur (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 1 resp 2) (exp (gen) y-1) (0 1))
  (label 52)
  (parent 20)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 53, Parent: 20, Children: 99 100 101 102 103 104.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn) (w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y w y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w y-0))) (y y))
  (deflistener (cat (exp (gen) y-0) w))
  (defstrand resp 2 (h h) (y y-0))
  (deflistener (cat (exp (gen) (mul (rec x) y w y-0 (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) (mul w y-0))))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test
    (added-listener
      (cat (exp (gen) (mul (rec x) y w y-0 (rec w-0))) w-0))
    (exp (gen) (mul (rec x) y w y-0)) (0 1))
  (label 53)
  (parent 20)
  (unrealized (4 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 54, Parent: 21, Child: 105.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (gen) (rec x)))
  (precedes ((0 0) (1 0)) ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (0 1)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (x-0 x) (w (rec x))) (gen) (2 0))
  (label 54)
  (parent 21)
  (unrealized (0 1) (2 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 55, Parent: 21, Child: 106.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (exp (gen) x) (mul (rec x) (rec x))))
  (precedes ((0 0) (1 0)) ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (0 1)))
  (precur (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (displaced 3 0 init 1) (exp (gen) x-0) (2 0))
  (label 55)
  (parent 21)
  (unrealized (0 1) (2 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 56, Parent: 21.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (2 0))
  (label 56)
  (parent 21)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 57, Parent: 21.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (exp (gen) y) (mul (rec x) (rec y))))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (1 0)) ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (2 0))
  (label 57)
  (parent 21)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 58, Parent: 23.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (gen) (mul (rec x) x-0)))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)))
  (uniq-gen x x-0)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (contracted (x-1 x) (x-2 x-0) (w (mul (rec x) x-0))) (gen) (3 0))
  (label 58)
  (parent 23)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 59, Parent: 23.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul x (rec x-0)))) (x x-0))
  (deflistener (exp (gen) x))
  (defstrand init 1 (x x))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) (rec x-0))))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)))
  (precur (3 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-1) (3 0))
  (label 59)
  (parent 23)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 60, Parent: 23, Child: 107.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-0) (rec x)))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)))
  (precur (3 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 2 init 1) (exp (gen) x-1) (3 0))
  (label 60)
  (parent 23)
  (unrealized (0 1) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 61, Parent: 23.

(defskeleton plaindh
  (vars (n text) (x x-0 x-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-1) (mul (rec x) x-0 (rec x-1))))
  (defstrand init 1 (x x-1))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)) ((4 0) (3 0)))
  (precur (3 0))
  (uniq-gen x x-0 x-1)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-1) (3 0))
  (label 61)
  (parent 23)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 62, Parent: 23.

(defskeleton plaindh
  (vars (n text) (h base) (x x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y) (mul (rec x) x-0 (rec y))))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y h))
  (precur (3 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (3 0))
  (label 62)
  (parent 23)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 63, Parent: 24.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (gen) (mul (rec x) y)))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)))
  (absent (y h))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test (contracted (x-0 x) (y-0 y) (w (mul (rec x) y)))
    (gen) (3 0))
  (label 63)
  (parent 24)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 64, Parent: 24.

(defskeleton plaindh
  (vars (n text) (h base) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y (rec x)))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x) (mul y (rec x) (rec x))))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)))
  (absent (y h))
  (precur (3 0))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-0) (3 0))
  (label 64)
  (parent 24)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 65, Parent: 24.

(defskeleton plaindh
  (vars (n text) (h base) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) y (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y h))
  (precur (3 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (3 0))
  (label 65)
  (parent 24)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 66, Parent: 24, Child: 108.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y) (rec x)))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)))
  (absent (y h))
  (precur (3 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 2 resp 2) (exp (gen) y-0) (3 0))
  (label 66)
  (parent 24)
  (unrealized (0 1) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 67, Parent: 24.

(defskeleton plaindh
  (vars (n text) (h h-0 base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y-0) (mul (rec x) y (rec y-0))))
  (defstrand resp 2 (h h-0) (y y-0))
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y-0 h-0) (y h))
  (precur (3 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (3 0))
  (label 67)
  (parent 24)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 68, Parent: 25.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (gen)) (x x))
  (deflistener (exp (gen) x))
  (deflistener (cat (gen) x))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (x-0 x) (w x)) (gen) (0 1))
  (label 68)
  (parent 25)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 69, Parent: 25, Child: 109.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) x)) (x x))
  (deflistener (exp (gen) (mul x x)))
  (deflistener (cat (gen) (mul x x)))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)))
  (precur (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (displaced 3 0 init 1) (exp (gen) x-0) (0 1))
  (label 69)
  (parent 25)
  (unrealized (1 0) (2 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 70, Parent: 25.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) x-0)) (x x))
  (deflistener (exp (gen) (mul x x-0)))
  (deflistener (cat (gen) (mul x x-0)))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (0 1))
  (label 70)
  (parent 25)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 71, Parent: 25.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (deflistener (exp (gen) (mul x y)))
  (deflistener (cat (gen) (mul x y)))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (0 1))
  (label 71)
  (parent 25)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 72, Parent: 25, Children: 110 111 112 113.

(defskeleton plaindh
  (vars (n text) (x expn) (w w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w))) (x x))
  (deflistener (exp (gen) w))
  (deflistener (cat (gen) w))
  (deflistener (cat (exp (gen) (mul (rec x) w (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) w (rec w-0))) w-0))
    (exp (gen) (mul (rec x) w)) (0 1))
  (label 72)
  (parent 25)
  (unrealized (3 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 73, Parent: 26, Child: 114.

(defskeleton plaindh
  (vars (n text) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (1 0)) ((1 1) (0 3)))
  (precur (1 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 0))
  (label 73)
  (parent 26)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 74, Parent: 27.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (gen)) (x x))
  (deflistener (exp (gen) x))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test
    (contracted (x-1 x) (w (mul x (rec x-0))) (x-2 x-0)) (gen) (0 1))
  (label 74)
  (parent 27)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 75, Parent: 27.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) x-0)) (x x-0))
  (deflistener (exp (gen) (mul x-0 x-0)))
  (deflistener (cat (exp (gen) x) (mul (rec x) x-0 x-0)))
  (defstrand init 1 (x x))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-1) (0 1))
  (label 75)
  (parent 27)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 76, Parent: 27.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) x-0)) (x x))
  (deflistener (exp (gen) (mul x x-0)))
  (deflistener (cat (exp (gen) x-0) x))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 4 3 init 1) (exp (gen) x-1) (0 1))
  (label 76)
  (parent 27)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 77, Parent: 27.

(defskeleton plaindh
  (vars (n text) (x x-0 x-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) x-1)) (x x))
  (deflistener (exp (gen) (mul x x-1)))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) x-1)))
  (defstrand init 1 (x x-0))
  (defstrand init 1 (x x-1))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)) ((4 0) (0 1)) ((4 0) (2 0)))
  (precur (2 0))
  (uniq-gen x x-0 x-1)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-1) (0 1))
  (label 77)
  (parent 27)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 78, Parent: 27.

(defskeleton plaindh
  (vars (n text) (h base) (x x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (deflistener (exp (gen) (mul x y)))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) y)))
  (defstrand init 1 (x x-0))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 0) (0 1))
    ((3 0) (2 0)) ((4 1) (0 1)) ((4 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (0 1))
  (label 78)
  (parent 27)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 79, Parent: 27, Children: 115 116 117 118 119.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 expn) (w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w x-0))) (x x))
  (deflistener (exp (gen) (mul w x-0)))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) (mul (rec x) w x-0 (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)))
  (precur (4 0) (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) w x-0 (rec w-0))) w-0))
    (exp (gen) (mul (rec x) w x-0)) (0 1))
  (label 79)
  (parent 27)
  (unrealized (4 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 80, Parent: 28.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (gen)) (x x))
  (deflistener (exp (gen) x))
  (deflistener (cat (exp (gen) y) (mul x (rec y))))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (contracted (x-0 x) (w (mul x (rec y))) (y-0 y))
    (gen) (0 1))
  (label 80)
  (parent 28)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 81, Parent: 28.

(defskeleton plaindh
  (vars (n text) (h base) (y x expn))
  (defstrand init 4 (n n) (h (exp (gen) x)) (x x))
  (deflistener (exp (gen) (mul x x)))
  (deflistener (cat (exp (gen) y) (mul (rec y) x x)))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-0) (0 1))
  (label 81)
  (parent 28)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 82, Parent: 28.

(defskeleton plaindh
  (vars (n text) (h base) (x y x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) x-0)) (x x))
  (deflistener (exp (gen) (mul x x-0)))
  (deflistener (cat (exp (gen) y) (mul x (rec y) x-0)))
  (defstrand resp 2 (h h) (y y))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)) ((4 0) (0 1)) ((4 0) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (0 1))
  (label 82)
  (parent 28)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 83, Parent: 28.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) y)) (x x))
  (deflistener (exp (gen) (mul x y)))
  (deflistener (cat (exp (gen) y) x))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)))
  (absent (y h))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 3 resp 2) (exp (gen) y-0) (0 1))
  (label 83)
  (parent 28)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 84, Parent: 28.

(defskeleton plaindh
  (vars (n text) (h h-0 base) (x y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) y-0)) (x x))
  (deflistener (exp (gen) (mul x y-0)))
  (deflistener (cat (exp (gen) y) (mul x (rec y) y-0)))
  (defstrand resp 2 (h h) (y y))
  (defstrand resp 2 (h h-0) (y y-0))
  (precedes ((0 0) (2 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (0 1))
    ((3 1) (2 0)) ((4 1) (0 1)) ((4 1) (2 0)))
  (absent (y-0 h-0) (y h))
  (precur (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (0 1))
  (label 84)
  (parent 28)
  (unrealized (1 0) (2 0))
  (comment "empty cohort"))

Item 85, Parent: 28, Children: 120 121 122 123 124.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y expn) (w-0 expr))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) w y))) (x x))
  (deflistener (exp (gen) (mul w y)))
  (deflistener (cat (exp (gen) y) w))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) (mul (rec x) w y (rec w-0))) w-0))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test
    (added-listener (cat (exp (gen) (mul (rec x) w y (rec w-0))) w-0))
    (exp (gen) (mul (rec x) w y)) (0 1))
  (label 85)
  (parent 28)
  (unrealized (4 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 86, Parent: 32.

(defskeleton plaindh
  (vars (n text) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 4 (n n) (h (gen)) (y y))
  (deflistener (cat (exp (gen) y) (rec x)))
  (deflistener x)
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0))
    ((1 3) (0 3)) ((2 1) (0 1)) ((3 1) (2 0)))
  (absent (y (gen)))
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (rec x) (2 0))
  (label 86)
  (parent 32)
  (unrealized (3 0))
  (comment "empty cohort"))

Item 87, Parent: 48, Child: 125.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y))
  (deflistener (cat (gen) (mul x w)))
  (deflistener (cat (gen) (mul w y)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test
    (contracted (x-0 x) (y-0 y) (w-0 (mul x w)) (w-1 (mul w y)) (y-1 y)
      (w (mul w y))) (gen) (3 0))
  (label 87)
  (parent 48)
  (unrealized (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 88, Parent: 48, Child: 126.

(defskeleton plaindh
  (vars (n text) (w expr) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x x))) (y y))
  (deflistener (cat (gen) (mul w x x)))
  (deflistener (cat (exp (gen) x) (mul w y)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) (mul w x x))))
  (precur (3 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-0) (3 0))
  (label 88)
  (parent 48)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 89, Parent: 48, Child: 127.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0 y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w x-0))) (y y))
  (deflistener (cat (gen) (mul x w x-0)))
  (deflistener (cat (exp (gen) x-0) (mul w y)))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)) ((4 0) (2 0)))
  (absent (y (exp (gen) (mul x w x-0))))
  (precur (3 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (3 0))
  (label 89)
  (parent 48)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 90, Parent: 48, Children: 128 129 130.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y))
  (deflistener (cat (gen) (mul x w)))
  (deflistener (cat (exp (gen) y) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (precur (3 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 4 1 resp 2) (exp (gen) y-0) (3 0))
  (label 90)
  (parent 48)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 91, Parent: 48, Child: 131.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w y))) (y y-0))
  (deflistener (cat (gen) (mul x w y)))
  (deflistener (cat (exp (gen) y) (mul w y-0)))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)) ((4 1) (2 0)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (precur (3 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (3 0))
  (label 91)
  (parent 48)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 92, Parent: 49, Child: 132.

(defskeleton plaindh
  (vars (n text) (y expn) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul y w))) (x x))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (1 0)))
  (absent (y (exp (gen) (mul w x))))
  (precur (1 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 1))
  (label 92)
  (parent 49)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 93, Parent: 51, Child: 133.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (gen) (mul w y)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test
    (contracted (x-1 x) (y-0 y) (w-0 (mul x (rec x-0) w)) (x-2 x-0)
      (w-1 (mul w y)) (y-1 y) (w (mul w y))) (gen) (4 0))
  (label 93)
  (parent 51)
  (unrealized (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 94, Parent: 51, Child: 134.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0 y))) (x x-0))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x-0 x-0))) (y y))
  (deflistener (cat (exp (gen) x) (mul (rec x) w x-0 x-0)))
  (defstrand init 1 (x x))
  (deflistener (cat (exp (gen) x-0) (mul w y)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul w x-0 x-0))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (displaced 5 0 init 1) (exp (gen) x-1) (4 0))
  (label 94)
  (parent 51)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 95, Parent: 51, Child: 135.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0 y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w x-0))) (y y))
  (deflistener (cat (exp (gen) x-0) (mul x w)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-0) (mul w y)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w x-0))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (displaced 5 3 init 1) (exp (gen) x-1) (4 0))
  (label 95)
  (parent 51)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 96, Parent: 51, Child: 136.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr) (x-1 y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-1 y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w x-1))) (y y))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w x-1)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-1) (mul w y)))
  (defstrand init 1 (x x-1))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)) ((5 0) (2 0)))
  (absent (y (exp (gen) (mul x w x-1))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 x-1 y)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-1) (4 0))
  (label 96)
  (parent 51)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 97, Parent: 51, Children: 137 138 139.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (displaced 5 1 resp 2) (exp (gen) y-0) (4 0))
  (label 97)
  (parent 51)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 98, Parent: 51, Child: 140.

(defskeleton plaindh
  (vars (n text) (h base) (x x-0 expn) (w expr) (y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w y))) (y y-0))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w y)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y) (mul w y-0)))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 0) (2 0)) ((4 1) (0 1)) ((5 1) (2 0)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (4 0))
  (label 98)
  (parent 51)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 99, Parent: 53, Child: 141.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y-0))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (gen) (mul w y-0)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul x w))))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test
    (contracted (x-0 x) (y-1 y-0) (w-0 (mul x (rec y) w)) (y-2 y)
      (w-1 (mul w y-0)) (y-3 y-0) (w (mul w y-0))) (gen) (4 0))
  (label 99)
  (parent 53)
  (unrealized (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 100, Parent: 53, Child: 142.

(defskeleton plaindh
  (vars (n text) (h base) (y expn) (w expr) (x y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul w x x))) (y y-0))
  (deflistener (cat (exp (gen) y) (mul (rec y) w x x)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x) (mul w y-0)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul w x x))))
  (precur (4 0) (2 0))
  (uniq-gen y x y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 5 0 init 1) (exp (gen) x-0) (4 0))
  (label 100)
  (parent 53)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 101, Parent: 53, Child: 143.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (x-0 y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0 y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w x-0))) (y y-0))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w x-0)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x-0) (mul w y-0)))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)) ((5 0) (2 0)))
  (absent (y h) (y-0 (exp (gen) (mul x w x-0))))
  (precur (4 0) (2 0))
  (uniq-gen x y x-0 y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (4 0))
  (label 101)
  (parent 53)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 102, Parent: 53, Children: 144 145 146.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y-0))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y-0) w))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y-0 (exp (gen) (mul x w))) (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 5 1 resp 2) (exp (gen) y-1) (4 0))
  (label 102)
  (parent 53)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 103, Parent: 53, Child: 147.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w y))) (y y-0))
  (deflistener (cat (exp (gen) y) (mul x w)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y) (mul w y-0)))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (displaced 5 3 resp 2) (exp (gen) y-1) (4 0))
  (label 103)
  (parent 53)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 104, Parent: 53, Child: 148.

(defskeleton plaindh
  (vars (n text) (h h-0 base) (x y expn) (w expr) (y-0 y-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y-0 y-1))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w y-0))) (y y-1))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w y-0)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y-0) (mul w y-1)))
  (defstrand resp 2 (h h-0) (y y-0))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (2 0)) ((4 1) (0 1)) ((5 1) (2 0)))
  (absent (y-0 h-0) (y h) (y-1 (exp (gen) (mul x w y-0))))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0 y-1)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (4 0))
  (label 104)
  (parent 53)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 105, Parent: 54.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (gen) (rec x)))
  (deflistener x)
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (0 1))
    ((3 1) (2 0)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (added-listener x) (rec x) (2 0))
  (label 105)
  (parent 54)
  (unrealized (3 0))
  (comment "empty cohort"))

Item 106, Parent: 55.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (rec x))) (x x))
  (deflistener (gen))
  (deflistener (cat (exp (gen) x) (mul (rec x) (rec x))))
  (deflistener x)
  (precedes ((0 0) (1 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (0 1))
    ((3 1) (2 0)))
  (precur (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (mul (rec x) (rec x)) (2 0))
  (label 106)
  (parent 55)
  (unrealized (3 0))
  (comment "empty cohort"))

Item 107, Parent: 60.

(defskeleton plaindh
  (vars (n text) (x x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (deflistener (exp (gen) x-0))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-0) (rec x)))
  (deflistener x)
  (precedes ((0 0) (1 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 0) (1 0))
    ((2 0) (3 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (precur (3 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (rec x) (3 0))
  (label 107)
  (parent 60)
  (unrealized (4 0))
  (comment "empty cohort"))

Item 108, Parent: 66.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (deflistener (exp (gen) y))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y) (rec x)))
  (deflistener x)
  (precedes ((0 0) (1 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((2 1) (3 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y h))
  (precur (3 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (rec x) (3 0))
  (label 108)
  (parent 66)
  (unrealized (4 0))
  (comment "empty cohort"))

Item 109, Parent: 69.

(defskeleton plaindh
  (vars (n text) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) x)) (x x))
  (deflistener (exp (gen) (mul x x)))
  (deflistener (cat (gen) (mul x x)))
  (deflistener x)
  (precedes ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0)) ((3 1) (2 0)))
  (precur (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (mul x x) (2 0))
  (label 109)
  (parent 69)
  (unrealized (3 0))
  (comment "empty cohort"))

Item 110, Parent: 72, Children: 149 150 151.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (deflistener (exp (gen) (mul x w)))
  (deflistener (cat (gen) (mul x w)))
  (deflistener (cat (gen) w))
  (precedes ((0 0) (2 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (uniq-gen x)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test (contracted (x-0 x) (w-0 (mul x w)) (w-1 w))
    (gen) (3 0))
  (label 110)
  (parent 72)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 111, Parent: 72, Children: 152 153 154.

(defskeleton plaindh
  (vars (n text) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x))) (x x))
  (deflistener (exp (gen) (mul w x x)))
  (deflistener (cat (gen) (mul w x x)))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (2 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (precur (3 0) (2 0))
  (uniq-gen x)
  (uniq-orig n)
  (operation nonce-test (displaced 4 0 init 1) (exp (gen) x-0) (3 0))
  (label 111)
  (parent 72)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 112, Parent: 72, Children: 155 156 157.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0))) (x x))
  (deflistener (exp (gen) (mul x w x-0)))
  (deflistener (cat (gen) (mul x w x-0)))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 0) (2 0)) ((4 0) (3 0)))
  (precur (3 0) (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (3 0))
  (label 112)
  (parent 72)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 113, Parent: 72, Children: 158 159 160.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (deflistener (exp (gen) (mul x w y)))
  (deflistener (cat (gen) (mul x w y)))
  (deflistener (cat (exp (gen) y) w))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((0 0) (3 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 1) (2 0)) ((4 1) (3 0)))
  (absent (y h))
  (precur (3 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (3 0))
  (label 113)
  (parent 72)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 114, Parent: 73.

(defskeleton plaindh
  (vars (n text) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (uniq-gen x)
  (uniq-orig n)
  (operation generalization deleted (1 0))
  (label 114)
  (parent 73)
  (unrealized)
  (shape)
  (maps ((0) ((x x) (h (exp (gen) w)) (n n))))
  (origs (n (0 2))))

Item 115, Parent: 79, Children: 161 162 163.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (deflistener (exp (gen) (mul x w)))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (gen) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)))
  (precur (4 0) (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test
    (contracted (x-1 x) (w-0 (mul x (rec x-0) w)) (x-2 x-0) (w-1 w))
    (gen) (4 0))
  (label 115)
  (parent 79)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 116, Parent: 79, Children: 164 165 166.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0))) (x x-0))
  (deflistener (exp (gen) (mul w x-0 x-0)))
  (deflistener (cat (exp (gen) x) (mul (rec x) w x-0 x-0)))
  (defstrand init 1 (x x))
  (deflistener (cat (exp (gen) x-0) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)))
  (precur (4 0) (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 5 0 init 1) (exp (gen) x-1) (4 0))
  (label 116)
  (parent 79)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 117, Parent: 79, Children: 167 168 169.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0))) (x x))
  (deflistener (exp (gen) (mul x w x-0)))
  (deflistener (cat (exp (gen) x-0) (mul x w)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-0) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)))
  (precur (4 0) (2 0))
  (uniq-gen x x-0)
  (uniq-orig n)
  (operation nonce-test (displaced 5 3 init 1) (exp (gen) x-1) (4 0))
  (label 117)
  (parent 79)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 118, Parent: 79, Children: 170 171 172 173.

(defskeleton plaindh
  (vars (n text) (x x-0 expn) (w expr) (x-1 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-1))) (x x))
  (deflistener (exp (gen) (mul x w x-1)))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w x-1)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) x-1) w))
  (defstrand init 1 (x x-1))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)) ((5 0) (2 0))
    ((5 0) (4 0)))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 x-1)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-1) (4 0))
  (label 118)
  (parent 79)
  (unrealized (1 0) (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 119, Parent: 79, Children: 174 175 176 177.

(defskeleton plaindh
  (vars (n text) (h base) (x x-0 expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (deflistener (exp (gen) (mul x w y)))
  (deflistener (cat (exp (gen) x-0) (mul x (rec x-0) w y)))
  (defstrand init 1 (x x-0))
  (deflistener (cat (exp (gen) y) w))
  (defstrand resp 2 (h h) (y y))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 0) (2 0)) ((3 0) (4 0)) ((4 1) (0 1)) ((5 1) (2 0))
    ((5 1) (4 0)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y) (4 0))
  (label 119)
  (parent 79)
  (unrealized (1 0) (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 120, Parent: 85, Children: 178 179 180.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr))
  (defstrand init 4 (n n) (h (exp (gen) w)) (x x))
  (deflistener (exp (gen) (mul x w)))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (gen) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test
    (contracted (x-0 x) (w-0 (mul x (rec y) w)) (y-0 y) (w-1 w)) (gen)
    (4 0))
  (label 120)
  (parent 85)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 121, Parent: 85, Children: 181 182 183.

(defskeleton plaindh
  (vars (n text) (h base) (y expn) (w expr) (x expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x))) (x x))
  (deflistener (exp (gen) (mul w x x)))
  (deflistener (cat (exp (gen) y) (mul (rec y) w x x)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen y x)
  (uniq-orig n)
  (operation nonce-test (displaced 5 0 init 1) (exp (gen) x-0) (4 0))
  (label 121)
  (parent 85)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 122, Parent: 85, Children: 184 185 186 187.

(defskeleton plaindh
  (vars (n text) (h base) (x y expn) (w expr) (x-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w x-0))) (x x))
  (deflistener (exp (gen) (mul x w x-0)))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w x-0)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) x-0) w))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)) ((5 0) (2 0))
    ((5 0) (4 0)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y x-0)
  (uniq-orig n)
  (operation nonce-test (added-strand init 1) (exp (gen) x-0) (4 0))
  (label 122)
  (parent 85)
  (unrealized (1 0) (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 123, Parent: 85, Children: 188 189 190.

(defskeleton plaindh
  (vars (n text) (h base) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (deflistener (exp (gen) (mul x w y)))
  (deflistener (cat (exp (gen) y) (mul x w)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y) w))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)))
  (absent (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (displaced 5 3 resp 2) (exp (gen) y-0) (4 0))
  (label 123)
  (parent 85)
  (unrealized (1 0) (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 124, Parent: 85, Children: 191 192 193 194.

(defskeleton plaindh
  (vars (n text) (h h-0 base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y-0))) (x x))
  (deflistener (exp (gen) (mul x w y-0)))
  (deflistener (cat (exp (gen) y) (mul x (rec y) w y-0)))
  (defstrand resp 2 (h h) (y y))
  (deflistener (cat (exp (gen) y-0) w))
  (defstrand resp 2 (h h-0) (y y-0))
  (precedes ((0 0) (2 0)) ((0 0) (4 0)) ((1 1) (0 3)) ((2 1) (1 0))
    ((3 1) (2 0)) ((3 1) (4 0)) ((4 1) (0 1)) ((5 1) (2 0))
    ((5 1) (4 0)))
  (absent (y-0 h-0) (y h))
  (precur (4 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-strand resp 2) (exp (gen) y-0) (4 0))
  (label 124)
  (parent 85)
  (unrealized (1 0) (2 0))
  (comment "4 in cohort - 4 not yet seen"))

Item 125, Parent: 87.

(defskeleton plaindh
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 4 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 4 (n n) (h (exp (gen) (mul x w))) (y y))
  (deflistener (cat (gen) (mul x w)))
  (deflistener (cat (gen) (mul w y)))
  (deflistener y)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((1 3) (0 3))
    ((2 1) (1 0)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y (exp (gen) (mul x w))))
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test (added-listener y) (mul w y) (3 0))
  (label 125)
  (parent 87)
  (unrealized (2 0) (4 0))
  (comment "empty cohort"))

Item 126, Parent: 88.