(herald "Diffie-Hellman protocol, man-in-the-middle attack"
  (algebra diffie-hellman))
(comment "CPSA 3.4.0")
(comment "All input read from dh_mim.scm")

Tree 0.

(defprotocol dh_mim diffie-hellman
  (defrole init
    (vars (x expn) (h base) (n text))
    (trace (send (exp (gen) x)) (recv h) (send (enc n (exp h x))))
    (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))))
    (uniq-gen y)
    (absent (y h)))
  (comment "Diffie-hellman key exchange followed by an encryption"))

Item 0, Children: 1 2.

(defskeleton dh_mim
  (vars (n text) (hx hy base) (x y expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h hx) (y y))
  (precedes ((0 2) (1 2)))
  (absent (y hx))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (comment "Agreement on the encrypted text only")
  (label 0)
  (unrealized (1 2))
  (origs (n (0 2)))
  (comment "2 in cohort - 2 not yet seen"))

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

(defskeleton dh_mim
  (vars (n text) (hy base) (x y expn))
  (defstrand init 3 (n n) (h (exp hy y)) (x x))
  (defstrand resp 3 (n n) (h (exp hy x)) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)))
  (absent (y (exp hy x)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (operation encryption-test (displaced 2 0 init 3) (enc n (exp hx y-0))
    (1 2))
  (label 1)
  (parent 0)
  (unrealized (0 1) (1 0))
  (origs (n (0 2)))
  (comment "5 in cohort - 5 not yet seen"))

Item 2, Parent: 0, Children: 8 9.

(defskeleton dh_mim
  (vars (n text) (hx hy base) (x y expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h hx) (y y))
  (deflistener (exp hx y))
  (precedes ((0 2) (1 2)) ((1 1) (2 0)) ((2 1) (1 2)))
  (absent (y hx))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (operation encryption-test (added-listener (exp hx y))
    (enc n (exp hx y)) (1 2))
  (label 2)
  (parent 0)
  (unrealized (1 2) (2 0))
  (comment "2 in cohort - 2 not yet seen"))

Item 3, Parent: 1, Child: 10.

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

Item 4, Parent: 1.

(defskeleton dh_mim
  (vars (n text) (y x expn))
  (defstrand init 3 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) x)) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)))
  (absent (y (exp (gen) x)))
  (pen-non-orig y 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)
  (shape)
  (maps
    ((0 1) ((n n) (hx (exp (gen) x)) (hy (exp (gen) y)) (x x) (y y))))
  (origs (n (0 2))))

Item 5, Parent: 1, Child: 11.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig x y)
  (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: 13 14 15 16.

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

Item 8, Parent: 2, Children: 17 18.

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

Item 9, Parent: 2, Children: 19 20 21 22 23.

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

Item 10, Parent: 3, Children: 24 25 26 27 28.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 10)
  (parent 3)
  (unrealized (2 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 11, Parent: 5, Children: 29 30 31 32 33 34.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 11)
  (parent 5)
  (unrealized (3 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 12, Parent: 6, Children: 35 36 37 38 39 40.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig x y)
  (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 12)
  (parent 6)
  (unrealized (3 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 13, Parent: 7, Children: 41 42.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0)))
  (absent (y (exp (gen) w)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (precur (2 0))
  (operation nonce-test (contracted (hy (exp (gen) (mul (rec x) w))))
    (gen) (2 0))
  (label 13)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 14, Parent: 7, Child: 43.

(defskeleton dh_mim
  (vars (n text) (y expn) (w expr) (x expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y w))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0)))
  (absent (y (exp (gen) (mul w x))))
  (pen-non-orig y 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 14)
  (parent 7)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 15, Parent: 7, Children: 44 45.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr) (x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w x-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)))
  (absent (y (exp (gen) (mul w x-0))))
  (pen-non-orig x y)
  (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 15)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 16, Parent: 7, Children: 46 47.

(defskeleton dh_mim
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)))
  (absent (y-0 h) (y (exp (gen) (mul w y-0))))
  (pen-non-orig x y)
  (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 16)
  (parent 7)
  (unrealized (0 1))
  (comment "2 in cohort - 2 not yet seen"))

Item 17, Parent: 8, Child: 48.

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

Item 18, Parent: 8, Children: 49 50 51 52 53 54.

(defskeleton dh_mim
  (vars (n text) (hy base) (x y expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (exp hy x))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((2 1) (1 2))
    ((3 1) (1 2)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-listener (exp hy x)) n (1 2)
    (enc n (exp hy x)))
  (label 18)
  (parent 8)
  (unrealized (3 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 19, Parent: 9, Child: 55.

(defskeleton dh_mim
  (vars (n text) (hy base) (x expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) w)) (y y))
  (deflistener (exp (gen) (mul w y)))
  (deflistener (cat (gen) (mul w y)))
  (precedes ((0 2) (1 2)) ((1 1) (3 0)) ((2 1) (1 2)) ((3 1) (2 0)))
  (absent (y (exp (gen) w)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0))
  (operation nonce-test
    (contracted (hx (exp (gen) w)) (y-0 y) (w (mul w y))) (gen) (3 0))
  (label 19)
  (parent 9)
  (unrealized (1 2) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 20, Parent: 9, Child: 56.

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

Item 21, Parent: 9, Child: 57.

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

Item 22, Parent: 9, Children: 58 59.

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

Item 23, Parent: 9, Child: 60.

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

Item 24, Parent: 10.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 24)
  (parent 10)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 25, Parent: 10.

(defskeleton dh_mim
  (vars (n text) (y x expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y (rec x)))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig y 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 25)
  (parent 10)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 26, Parent: 10.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1))
    ((3 0) (2 0)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 26)
  (parent 10)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 27, Parent: 10, Child: 61.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 27)
  (parent 10)
  (unrealized (0 1) (2 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 28, Parent: 10.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (0 1))
    ((3 1) (2 0)))
  (absent (y-0 h) (y (gen)))
  (pen-non-orig x y)
  (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 28)
  (parent 10)
  (unrealized (0 1) (2 0))
  (comment "empty cohort"))

Item 29, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 29)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 30, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (y x x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y x (rec x-0)))) (x x-0))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) x)))
  (pen-non-orig y x-0)
  (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 30)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 31, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 31)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 32, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (x y x-0 x-1 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 32)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 33, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (x x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) x-0 y))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 33)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 34, Parent: 11.

(defskeleton dh_mim
  (vars (n text) (h base) (x y x-0 y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y x-0))) (x x))
  (defstrand resp 3 (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)) ((2 0) (1 0))
    ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y-0 h) (y (exp (gen) x-0)))
  (pen-non-orig x y)
  (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 34)
  (parent 11)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 35, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig x y)
  (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 35)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 36, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (y y-0 x expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y y-0 (rec x)))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig y x)
  (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 36)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 37, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig x y)
  (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 37)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 38, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y-0 (exp (gen) y)) (y h))
  (pen-non-orig x y-0)
  (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 38)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 39, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) y-0)))
  (pen-non-orig x y)
  (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 39)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 40, Parent: 12.

(defskeleton dh_mim
  (vars (n text) (h h-0 base) (x y y-0 y-1 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y y-0))) (x x))
  (defstrand resp 3 (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)) ((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)))
  (pen-non-orig x y)
  (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 40)
  (parent 12)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 41, Parent: 13.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0)))
  (absent (y (exp (gen) x)))
  (pen-non-orig x y)
  (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 41)
  (parent 13)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 42, Parent: 13, Children: 62 63 64 65 66.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w w-0 expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) w)))
  (pen-non-orig x y)
  (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 42)
  (parent 13)
  (unrealized (3 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 43, Parent: 14.

(defskeleton dh_mim
  (vars (n text) (y expn) (w expr) (x expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y w))) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) (mul w x))) (y y))
  (precedes ((0 0) (1 0)) ((0 2) (1 2)) ((1 1) (0 1)))
  (absent (y (exp (gen) (mul w x))))
  (pen-non-orig y x)
  (uniq-gen y x)
  (uniq-orig n)
  (operation generalization deleted (2 0))
  (label 43)
  (parent 14)
  (unrealized)
  (shape)
  (maps
    ((0 1)
      ((n n) (hx (exp (gen) (mul w x))) (hy (exp (gen) (mul y w))) (x x)
        (y y))))
  (origs (n (0 2))))

Item 44, Parent: 15.

(defskeleton dh_mim
  (vars (n text) (x x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) y)) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)))
  (absent (y (exp (gen) x)))
  (pen-non-orig x y)
  (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 44)
  (parent 15)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 45, Parent: 15, Children: 67 68 69 70 71 72.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr) (x-0 expn) (w-0 expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w x-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul w x-0))))
  (pen-non-orig x y)
  (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 45)
  (parent 15)
  (unrealized (4 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 46, Parent: 16.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) y-0)) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)))
  (absent (y-0 (exp (gen) x)) (y h))
  (pen-non-orig x y-0)
  (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 46)
  (parent 16)
  (unrealized (2 0))
  (comment "empty cohort"))

Item 47, Parent: 16, Children: 73 74 75 76 77 78.

(defskeleton dh_mim
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn) (w-0 expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y w y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y-0 h) (y (exp (gen) (mul w y-0))))
  (pen-non-orig x y)
  (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 47)
  (parent 16)
  (unrealized (4 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 48, Parent: 17, Children: 79 80 81 82 83.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (cat (exp (gen) (mul (rec x) y (rec w))) w))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 1) (3 0))
    ((2 1) (1 2)) ((3 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 48)
  (parent 17)
  (unrealized (3 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 49, Parent: 18, Child: 84.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (rec x))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (gen))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((2 1) (1 2))
    ((3 1) (1 2)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (contracted (hy (exp (gen) (rec x)))) (gen)
    (3 0))
  (label 49)
  (parent 18)
  (unrealized (0 1))
  (comment "1 in cohort - 1 not yet seen"))

Item 50, Parent: 18, Child: 85.

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

Item 51, Parent: 18, Child: 86.

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

Item 52, Parent: 18, Child: 87.

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

Item 53, Parent: 18, Child: 88.

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

Item 54, Parent: 18, Children: 89 90 91 92 93.

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

Item 55, Parent: 19.

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

Item 56, Parent: 20.

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

Item 57, Parent: 21.

(defskeleton dh_mim
  (vars (n text) (hy base) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) (mul w x-0))) (y y))
  (deflistener (exp (gen) (mul w x-0 y)))
  (deflistener (cat (exp (gen) x-0) (mul w y)))
  (defstrand init 1 (x x-0))
  (deflistener y)
  (precedes ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 2)) ((3 1) (2 0))
    ((4 0) (1 0)) ((5 1) (3 0)))
  (absent (y (exp (gen) (mul w x-0))))
  (pen-non-orig x y)
  (precur (3 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-listener y) (mul w y) (3 0))
  (label 57)
  (parent 21)
  (unrealized (1 2) (5 0))
  (comment "empty cohort"))

Item 58, Parent: 22, Children: 94 95.

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

Item 59, Parent: 22, Children: 96 97 98 99 100 101.

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

Item 60, Parent: 23.

(defskeleton dh_mim
  (vars (n text) (hy h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 3 (n n) (h hy) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) (mul w y))) (y y-0))
  (deflistener (exp (gen) (mul w y y-0)))
  (deflistener (cat (exp (gen) y) (mul w y-0)))
  (defstrand resp 2 (h h) (y y))
  (deflistener y-0)
  (precedes ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 2)) ((3 1) (2 0))
    ((4 1) (1 0)) ((5 1) (3 0)))
  (absent (y h) (y-0 (exp (gen) (mul w y))))
  (pen-non-orig x y-0)
  (precur (3 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-listener y-0) (mul w y-0) (3 0))
  (label 60)
  (parent 23)
  (unrealized (1 2) (5 0))
  (comment "empty cohort"))

Item 61, Parent: 27.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (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))
    ((2 1) (0 1)) ((3 1) (2 0)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (precur (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-listener x) (rec x) (2 0))
  (label 61)
  (parent 27)
  (unrealized (3 0))
  (comment "empty cohort"))

Item 62, Parent: 42, Child: 102.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (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 62)
  (parent 42)
  (unrealized (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 63, Parent: 42, Child: 103.

(defskeleton dh_mim
  (vars (n text) (w expr) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) (mul w x x))))
  (pen-non-orig x y)
  (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 63)
  (parent 42)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 64, Parent: 42, Child: 104.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 0) (2 0)))
  (absent (y (exp (gen) (mul x w x-0))))
  (pen-non-orig x y)
  (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 64)
  (parent 42)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 65, Parent: 42, Children: 105 106 107.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (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 65)
  (parent 42)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 66, Parent: 42, Child: 108.

(defskeleton dh_mim
  (vars (n text) (h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 1) (2 0)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (pen-non-orig x y-0)
  (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 66)
  (parent 42)
  (unrealized (0 1) (1 0) (2 0) (3 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 67, Parent: 45, Child: 109.

(defskeleton dh_mim
  (vars (n text) (x x-0 expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (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 67)
  (parent 45)
  (unrealized (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 68, Parent: 45, Child: 110.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y))) (x x-0))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul w x-0 x-0))))
  (pen-non-orig x-0 y)
  (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 68)
  (parent 45)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 69, Parent: 45, Child: 111.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w x-0))))
  (pen-non-orig x y)
  (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 69)
  (parent 45)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 70, Parent: 45, Child: 112.

(defskeleton dh_mim
  (vars (n text) (x x-0 expn) (w expr) (x-1 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-1 y))) (x x))
  (defstrand resp 3 (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)) ((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))))
  (pen-non-orig x y)
  (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 70)
  (parent 45)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 71, Parent: 45, Children: 113 114 115.

(defskeleton dh_mim
  (vars (n text) (x x-0 expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (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 71)
  (parent 45)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 72, Parent: 45, Child: 116.

(defskeleton dh_mim
  (vars (n text) (h base) (x x-0 expn) (w expr) (y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 3 (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)) ((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))))
  (pen-non-orig x y-0)
  (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 72)
  (parent 45)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 73, Parent: 47, Child: 117.

(defskeleton dh_mim
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul x w))))
  (pen-non-orig x y-0)
  (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 73)
  (parent 47)
  (unrealized (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 74, Parent: 47, Child: 118.

(defskeleton dh_mim
  (vars (n text) (h base) (y expn) (w expr) (x y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul w x x))))
  (pen-non-orig x y-0)
  (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 74)
  (parent 47)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 75, Parent: 47, Child: 119.

(defskeleton dh_mim
  (vars (n text) (h base) (x y expn) (w expr) (x-0 y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y-0))) (x x))
  (defstrand resp 3 (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)) ((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))))
  (pen-non-orig x y-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 75)
  (parent 47)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 76, Parent: 47, Children: 120 121 122.

(defskeleton dh_mim
  (vars (n text) (h base) (x y expn) (w expr) (y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y-0 (exp (gen) (mul x w))) (y h))
  (pen-non-orig x y-0)
  (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 76)
  (parent 47)
  (unrealized (2 0))
  (comment "3 in cohort - 3 not yet seen"))

Item 77, Parent: 47, Child: 123.

(defskeleton dh_mim
  (vars (n text) (h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (pen-non-orig x y-0)
  (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 77)
  (parent 47)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 78, Parent: 47, Child: 124.

(defskeleton dh_mim
  (vars (n text) (h h-0 base) (x y expn) (w expr) (y-0 y-1 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y-0 y-1))) (x x))
  (defstrand resp 3 (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)) ((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))))
  (pen-non-orig x y-1)
  (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 78)
  (parent 47)
  (unrealized (0 1) (1 0) (2 0) (4 0))
  (comment "1 in cohort - 1 not yet seen"))

Item 79, Parent: 48.

(defskeleton dh_mim
  (vars (n text) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (cat (gen) (mul (rec x) y)))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 1) (3 0))
    ((2 1) (1 2)) ((3 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 79)
  (parent 48)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 80, Parent: 48.

(defskeleton dh_mim
  (vars (n text) (y x expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul y (rec x)))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (cat (exp (gen) x) (mul y (rec x) (rec x))))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 1) (3 0))
    ((2 1) (1 2)) ((3 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig y x)
  (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 80)
  (parent 48)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 81, Parent: 48.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (cat (exp (gen) x-0) (mul (rec x) y (rec x-0))))
  (defstrand init 1 (x x-0))
  (precedes ((0 0) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 1) (3 0))
    ((2 1) (1 2)) ((3 1) (0 1)) ((4 0) (3 0)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (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 81)
  (parent 48)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 82, Parent: 48, Child: 125.

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

Item 83, Parent: 48.

(defskeleton dh_mim
  (vars (n text) (h base) (x y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) 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) (3 0)) ((0 2) (1 2)) ((1 1) (2 0)) ((1 1) (3 0))
    ((2 1) (1 2)) ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y-0 h) (y (gen)))
  (pen-non-orig x y)
  (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 83)
  (parent 48)
  (unrealized (0 1) (3 0))
  (comment "empty cohort"))

Item 84, Parent: 49, Children: 126 127 128 129 130.

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

Item 85, Parent: 50, Child: 131.

(defskeleton dh_mim
  (vars (n text) (y x expn))
  (defstrand init 3 (n n) (h (gen)) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) x))
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((2 1) (1 2)))
  (absent (y (gen)))
  (pen-non-orig y x)
  (uniq-gen y x)
  (uniq-orig n)
  (operation generalization deleted (2 0))
  (label 85)
  (parent 50)
  (unrealized)
  (comment "1 in cohort - 1 not yet seen"))

Item 86, Parent: 51, Children: 132 133 134 135 136 137.

(defskeleton dh_mim
  (vars (n text) (x y x-0 expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) x-0))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (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) (3 0)) ((0 0) (5 0)) ((0 2) (1 2)) ((1 1) (2 0))
    ((2 1) (1 2)) ((3 1) (1 2)) ((4 0) (3 0)) ((4 0) (5 0))
    ((5 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (uniq-gen x y x-0)
  (uniq-orig n)
  (precur (5 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 86)
  (parent 51)
  (unrealized (5 0))
  (comment "6 in cohort - 6 not yet seen"))

Item 87, Parent: 52, Children: 138 139 140 141 142.

(defskeleton dh_mim
  (vars (n text) (x y expn) (w expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) y))) (x x))
  (defstrand resp 3 (n n) (h (gen)) (y y))
  (deflistener (exp (gen) y))
  (deflistener (exp (gen) y))
  (deflistener (cat (exp (gen) (mul (rec x) y (rec w))) w))
  (precedes ((0 0) (3 0)) ((0 0) (4 0)) ((0 2) (1 2)) ((1 1) (2 0))
    ((1 1) (3 0)) ((1 1) (4 0)) ((2 1) (1 2)) ((3 1) (1 2))
    ((4 1) (0 1)))
  (absent (y (gen)))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (precur (4 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 87)
  (parent 52)
  (unrealized (4 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 88, Parent: 53, Children: 143 144 145 146 147 148.

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

Item 89, Parent: 54, Children: 149 150 151 152 153 154.

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

Item 90, Parent: 54, Child: 155.

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

Item 91, Parent: 54, Children: 156 157 158 159 160 161 162.

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

Item 92, Parent: 54, Children: 163 164 165 166 167 168.

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

Item 93, Parent: 54, Children: 169 170 171 172 173 174 175.

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

Item 94, Parent: 58.

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

Item 95, Parent: 58, Children: 176 177 178 179 180.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (y expn) (w-0 expr))
  (defstrand init 3 (n n) (h (exp (gen) (mul (rec x) w y))) (x x))
  (defstrand resp 3 (n n) (h (exp (gen) w)) (y y))
  (deflistener (exp (gen) (mul w y)))
  (deflistener (cat (exp (gen) y) w))
  (deflistener (cat (exp (gen) (mul (rec x) w y (rec w-0))) w-0))
  (precedes ((0 0) (4 0)) ((0 2) (1 2)) ((1 1) (3 0)) ((1 1) (4 0))
    ((2 1) (1 2)) ((3 1) (2 0)) ((4 1) (0 1)))
  (absent (y (exp (gen) w)))
  (pen-non-orig x y)
  (precur (4 0) (3 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 95)
  (parent 58)
  (unrealized (4 0))
  (comment "5 in cohort - 5 not yet seen"))

Item 96, Parent: 59, Child: 181.

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

Item 97, Parent: 59, Child: 182.

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

Item 98, Parent: 59, Child: 183.

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

Item 99, Parent: 59, Child: 184.

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

Item 100, Parent: 59, Child: 185.

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

Item 101, Parent: 59, Children: 186 187 188 189 190.

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

Item 102, Parent: 62.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (uniq-gen x y)
  (uniq-orig n)
  (precur (3 0) (2 0))
  (operation nonce-test (added-listener y) (mul w y) (3 0))
  (label 102)
  (parent 62)
  (unrealized (2 0) (4 0))
  (comment "empty cohort"))

Item 103, Parent: 63.

(defskeleton dh_mim
  (vars (n text) (w expr) (x y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x y))) (x x))
  (defstrand resp 3 (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)))
  (deflistener y)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (4 0)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 1) (3 0)))
  (absent (y (exp (gen) (mul w x x))))
  (pen-non-orig x y)
  (precur (3 0) (2 0))
  (uniq-gen x y)
  (uniq-orig n)
  (operation nonce-test (added-listener y) (mul w y) (3 0))
  (label 103)
  (parent 63)
  (unrealized (1 0) (2 0) (4 0))
  (comment "empty cohort"))

Item 104, Parent: 64.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y))) (x x))
  (defstrand resp 3 (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))
  (deflistener y)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 0) (2 0)) ((5 1) (3 0)))
  (absent (y (exp (gen) (mul x w x-0))))
  (pen-non-orig x y)
  (precur (3 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-listener y) (mul w y) (3 0))
  (label 104)
  (parent 64)
  (unrealized (1 0) (2 0) (5 0))
  (comment "empty cohort"))

Item 105, Parent: 65, Child: 191.

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

Item 106, Parent: 65, Child: 192.

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

Item 107, Parent: 65.

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

Item 108, Parent: 66.

(defskeleton dh_mim
  (vars (n text) (h base) (x expn) (w expr) (y y-0 expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y y-0))) (x x))
  (defstrand resp 3 (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))
  (deflistener y-0)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 0))
    ((3 1) (0 1)) ((4 1) (2 0)) ((5 1) (3 0)))
  (absent (y h) (y-0 (exp (gen) (mul x w y))))
  (pen-non-orig x y-0)
  (precur (3 0) (2 0))
  (uniq-gen x y y-0)
  (uniq-orig n)
  (operation nonce-test (added-listener y-0) (mul w y-0) (3 0))
  (label 108)
  (parent 66)
  (unrealized (1 0) (2 0) (5 0))
  (comment "empty cohort"))

Item 109, Parent: 67.

(defskeleton dh_mim
  (vars (n text) (x x-0 expn) (w expr) (y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w y))) (x x))
  (defstrand resp 3 (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)))
  (deflistener y)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)) ((5 1) (4 0)))
  (absent (y (exp (gen) (mul x w))))
  (pen-non-orig x y)
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-listener y) (mul w y) (4 0))
  (label 109)
  (parent 67)
  (unrealized (2 0) (5 0))
  (comment "empty cohort"))

Item 110, Parent: 68.

(defskeleton dh_mim
  (vars (n text) (x expn) (w expr) (x-0 y expn))
  (defstrand init 3 (n n) (h (exp (gen) (mul w x-0 y))) (x x-0))
  (defstrand resp 3 (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)))
  (deflistener y)
  (precedes ((0 0) (2 0)) ((0 2) (1 2)) ((1 1) (5 0)) ((2 1) (1 0))
    ((3 0) (2 0)) ((4 1) (0 1)) ((5 1) (4 0)))
  (absent (y (exp (gen) (mul w x-0 x-0))))
  (pen-non-orig x-0 y)
  (precur (4 0) (2 0))
  (uniq-gen x x-0 y)
  (uniq-orig n)
  (operation nonce-test (added-listener y) (mul w y) (4 0))
  (label 110)
  (parent 68)
  (unrealized (1 0) (2 0) (5 0))
  (comment "empty cohort"))

Item 111, Parent: 69.