# STOCKHOLM 1.0
#=GF NH (U40580.1/2651-2720:0.0442860756,(U72867.1/2-74:0.2750751860,U40654.1/2012-2080:0.0427395676)node_3:0.0442982381)root;
#=GF observed-chain-counts ((terminal (A0))
#=GF observed-chain-counts (initial (state (a)) (count 13))
#=GF observed-chain-counts (initial (state (r)) (count 8))
#=GF observed-chain-counts (initial (state (n)) (count 4))
#=GF observed-chain-counts (initial (state (d)) (count 8))
#=GF observed-chain-counts (initial (state (c)) (count 0))
#=GF observed-chain-counts (initial (state (q)) (count 3))
#=GF observed-chain-counts (initial (state (e)) (count 6))
#=GF observed-chain-counts (initial (state (g)) (count 4))
#=GF observed-chain-counts (initial (state (h)) (count 2))
#=GF observed-chain-counts (initial (state (i)) (count 6))
#=GF observed-chain-counts (initial (state (l)) (count 7))
#=GF observed-chain-counts (initial (state (k)) (count 9))
#=GF observed-chain-counts (initial (state (m)) (count 2))
#=GF observed-chain-counts (initial (state (f)) (count 7))
#=GF observed-chain-counts (initial (state (p)) (count 3))
#=GF observed-chain-counts (initial (state (s)) (count 5))
#=GF observed-chain-counts (initial (state (t)) (count 5))
#=GF observed-chain-counts (initial (state (w)) (count 2))
#=GF observed-chain-counts (initial (state (y)) (count 3))
#=GF observed-chain-counts (initial (state (v)) (count 4))
#=GF observed-chain-counts (wait (state (a)) (time 5.30461))
#=GF observed-chain-counts (mutate (from (a)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (t)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (v)) (count 1))
#=GF observed-chain-counts (wait (state (r)) (time 3.56275))
#=GF observed-chain-counts (mutate (from (r)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (q)) (count 1))
#=GF observed-chain-counts (mutate (from (r)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (h)) (count 1))
#=GF observed-chain-counts (mutate (from (r)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (k)) (count 1))
#=GF observed-chain-counts (mutate (from (r)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (n)) (time 1.79101))
#=GF observed-chain-counts (mutate (from (n)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (k)) (count 1))
#=GF observed-chain-counts (mutate (from (n)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (n)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (d)) (time 2.87291))
#=GF observed-chain-counts (mutate (from (d)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (e)) (count 4))
#=GF observed-chain-counts (mutate (from (d)) (to (g)) (count 1))
#=GF observed-chain-counts (mutate (from (d)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (c)) (time 0))
#=GF observed-chain-counts (mutate (from (c)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (q)) (time 0.83761))
#=GF observed-chain-counts (mutate (from (q)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (q)) (to (r)) (count 1))
#=GF observed-chain-counts (mutate (from (q)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (k)) (count 1))
#=GF observed-chain-counts (mutate (from (q)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (e)) (time 2.49122))
#=GF observed-chain-counts (mutate (from (e)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (d)) (count 2))
#=GF observed-chain-counts (mutate (from (e)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (q)) (count 2))
#=GF observed-chain-counts (mutate (from (e)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (g)) (time 1.60638))
#=GF observed-chain-counts (mutate (from (g)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (g)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (h)) (time 0.593314))
#=GF observed-chain-counts (mutate (from (h)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (r)) (count 1))
#=GF observed-chain-counts (mutate (from (h)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (i)) (time 2.55928))
#=GF observed-chain-counts (mutate (from (i)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (v)) (count 1))
#=GF observed-chain-counts (wait (state (l)) (time 2.9517))
#=GF observed-chain-counts (mutate (from (l)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (i)) (count 1))
#=GF observed-chain-counts (mutate (from (l)) (to (k)) (count 1))
#=GF observed-chain-counts (mutate (from (l)) (to (m)) (count 1))
#=GF observed-chain-counts (mutate (from (l)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (t)) (count 1))
#=GF observed-chain-counts (mutate (from (l)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (k)) (time 3.62955))
#=GF observed-chain-counts (mutate (from (k)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (n)) (count 3))
#=GF observed-chain-counts (mutate (from (k)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (q)) (count 2))
#=GF observed-chain-counts (mutate (from (k)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (s)) (count 2))
#=GF observed-chain-counts (mutate (from (k)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (m)) (time 0.829249))
#=GF observed-chain-counts (mutate (from (m)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (f)) (time 2.64749))
#=GF observed-chain-counts (mutate (from (f)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (y)) (count 1))
#=GF observed-chain-counts (mutate (from (f)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (p)) (time 1.2192))
#=GF observed-chain-counts (mutate (from (p)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (s)) (time 2.38466))
#=GF observed-chain-counts (mutate (from (s)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (k)) (count 1))
#=GF observed-chain-counts (mutate (from (s)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (t)) (count 2))
#=GF observed-chain-counts (mutate (from (s)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (t)) (time 2.25277))
#=GF observed-chain-counts (mutate (from (t)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (i)) (count 1))
#=GF observed-chain-counts (mutate (from (t)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (w)) (time 0.812798))
#=GF observed-chain-counts (mutate (from (w)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (y)) (time 1.4165))
#=GF observed-chain-counts (mutate (from (y)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (v)) (time 1.2833))
#=GF observed-chain-counts (mutate (from (v)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (v)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (l)) (count 1))
#=GF observed-chain-counts (mutate (from (v)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (y)) (count 0))
#=GF observed-chain-counts ) ;; end chain A0
#=GF observed-chain-counts ((terminal (A1))
#=GF observed-chain-counts (initial (state (a)) (count 1))
#=GF observed-chain-counts (initial (state (r)) (count 1))
#=GF observed-chain-counts (initial (state (n)) (count 1))
#=GF observed-chain-counts (initial (state (d)) (count 0))
#=GF observed-chain-counts (initial (state (c)) (count 0))
#=GF observed-chain-counts (initial (state (q)) (count 2))
#=GF observed-chain-counts (initial (state (e)) (count 1))
#=GF observed-chain-counts (initial (state (g)) (count 6))
#=GF observed-chain-counts (initial (state (h)) (count 2))
#=GF observed-chain-counts (initial (state (i)) (count 5))
#=GF observed-chain-counts (initial (state (l)) (count 4))
#=GF observed-chain-counts (initial (state (k)) (count 1))
#=GF observed-chain-counts (initial (state (m)) (count 0))
#=GF observed-chain-counts (initial (state (f)) (count 1))
#=GF observed-chain-counts (initial (state (p)) (count 1))
#=GF observed-chain-counts (initial (state (s)) (count 1))
#=GF observed-chain-counts (initial (state (t)) (count 2))
#=GF observed-chain-counts (initial (state (w)) (count 1))
#=GF observed-chain-counts (initial (state (y)) (count 1))
#=GF observed-chain-counts (initial (state (v)) (count 3))
#=GF observed-chain-counts (wait (state (a)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (a)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (r)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (r)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (n)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (n)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (d)) (time 0))
#=GF observed-chain-counts (mutate (from (d)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (c)) (time 0))
#=GF observed-chain-counts (mutate (from (c)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (q)) (time 0.782652))
#=GF observed-chain-counts (mutate (from (q)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (t)) (count 1))
#=GF observed-chain-counts (mutate (from (q)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (e)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (e)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (g)) (time 2.21934))
#=GF observed-chain-counts (mutate (from (g)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (g)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (h)) (time 0.812798))
#=GF observed-chain-counts (mutate (from (h)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (i)) (time 1.61566))
#=GF observed-chain-counts (mutate (from (i)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (l)) (count 1))
#=GF observed-chain-counts (mutate (from (i)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (v)) (count 1))
#=GF observed-chain-counts (wait (state (l)) (time 1.97209))
#=GF observed-chain-counts (mutate (from (l)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (k)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (k)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (m)) (time 0))
#=GF observed-chain-counts (mutate (from (m)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (f)) (time 0.368778))
#=GF observed-chain-counts (mutate (from (f)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (f)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (p)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (p)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (s)) (time 0.754386))
#=GF observed-chain-counts (mutate (from (s)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (t)) (time 0.751629))
#=GF observed-chain-counts (mutate (from (t)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (t)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (w)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (w)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (y)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (y)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (v)) (time 1.28904))
#=GF observed-chain-counts (mutate (from (v)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (y)) (count 0))
#=GF observed-chain-counts ) ;; end chain A1
#=GF observed-chain-counts ((terminal (A2))
#=GF observed-chain-counts (initial (state (a)) (count 6))
#=GF observed-chain-counts (initial (state (r)) (count 3))
#=GF observed-chain-counts (initial (state (n)) (count 4))
#=GF observed-chain-counts (initial (state (d)) (count 13))
#=GF observed-chain-counts (initial (state (c)) (count 0))
#=GF observed-chain-counts (initial (state (q)) (count 1))
#=GF observed-chain-counts (initial (state (e)) (count 6))
#=GF observed-chain-counts (initial (state (g)) (count 17))
#=GF observed-chain-counts (initial (state (h)) (count 4))
#=GF observed-chain-counts (initial (state (i)) (count 4))
#=GF observed-chain-counts (initial (state (l)) (count 6))
#=GF observed-chain-counts (initial (state (k)) (count 4))
#=GF observed-chain-counts (initial (state (m)) (count 0))
#=GF observed-chain-counts (initial (state (f)) (count 6))
#=GF observed-chain-counts (initial (state (p)) (count 5))
#=GF observed-chain-counts (initial (state (s)) (count 8))
#=GF observed-chain-counts (initial (state (t)) (count 10))
#=GF observed-chain-counts (initial (state (w)) (count 1))
#=GF observed-chain-counts (initial (state (y)) (count 4))
#=GF observed-chain-counts (initial (state (v)) (count 4))
#=GF observed-chain-counts (wait (state (a)) (time 2.23298))
#=GF observed-chain-counts (mutate (from (a)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (e)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (h)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (f)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (p)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (a)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (a)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (r)) (time 1.20993))
#=GF observed-chain-counts (mutate (from (r)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (p)) (count 1))
#=GF observed-chain-counts (mutate (from (r)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (r)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (n)) (time 2.1301))
#=GF observed-chain-counts (mutate (from (n)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (n)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (d)) (time 4.7256))
#=GF observed-chain-counts (mutate (from (d)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (d)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (n)) (count 3))
#=GF observed-chain-counts (mutate (from (d)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (e)) (count 4))
#=GF observed-chain-counts (mutate (from (d)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (p)) (count 1))
#=GF observed-chain-counts (mutate (from (d)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (d)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (c)) (time 0))
#=GF observed-chain-counts (mutate (from (c)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (c)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (q)) (time 0.34145))
#=GF observed-chain-counts (mutate (from (q)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (q)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (q)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (e)) (time 2.72011))
#=GF observed-chain-counts (mutate (from (e)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (e)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (d)) (count 1))
#=GF observed-chain-counts (mutate (from (e)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (e)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (g)) (time 6.89464))
#=GF observed-chain-counts (mutate (from (g)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (g)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (g)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (h)) (time 1.22273))
#=GF observed-chain-counts (mutate (from (h)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (n)) (count 1))
#=GF observed-chain-counts (mutate (from (h)) (to (d)) (count 1))
#=GF observed-chain-counts (mutate (from (h)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (p)) (count 1))
#=GF observed-chain-counts (mutate (from (h)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (h)) (to (v)) (count 1))
#=GF observed-chain-counts (wait (state (i)) (time 1.43564))
#=GF observed-chain-counts (mutate (from (i)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (f)) (count 1))
#=GF observed-chain-counts (mutate (from (i)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (i)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (l)) (time 2.19212))
#=GF observed-chain-counts (mutate (from (l)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (l)) (to (v)) (count 2))
#=GF observed-chain-counts (wait (state (k)) (time 1.6256))
#=GF observed-chain-counts (mutate (from (k)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (k)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (m)) (time 0.147908))
#=GF observed-chain-counts (mutate (from (m)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (m)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (f)) (time 2.84796))
#=GF observed-chain-counts (mutate (from (f)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (f)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (p)) (time 2.20778))
#=GF observed-chain-counts (mutate (from (p)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (s)) (count 1))
#=GF observed-chain-counts (mutate (from (p)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (p)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (s)) (time 3.33372))
#=GF observed-chain-counts (mutate (from (s)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (t)) (count 1))
#=GF observed-chain-counts (mutate (from (s)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (s)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (t)) (time 3.88708))
#=GF observed-chain-counts (mutate (from (t)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (n)) (count 1))
#=GF observed-chain-counts (mutate (from (t)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (m)) (count 1))
#=GF observed-chain-counts (mutate (from (t)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (t)) (to (v)) (count 1))
#=GF observed-chain-counts (wait (state (w)) (time 0.406399))
#=GF observed-chain-counts (mutate (from (w)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (y)) (count 0))
#=GF observed-chain-counts (mutate (from (w)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (y)) (time 1.6256))
#=GF observed-chain-counts (mutate (from (y)) (to (a)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (t)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (y)) (to (v)) (count 0))
#=GF observed-chain-counts (wait (state (v)) (time 1.89098))
#=GF observed-chain-counts (mutate (from (v)) (to (a)) (count 1))
#=GF observed-chain-counts (mutate (from (v)) (to (r)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (n)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (d)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (c)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (q)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (e)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (g)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (h)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (i)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (l)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (k)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (m)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (f)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (p)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (s)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (t)) (count 1))
#=GF observed-chain-counts (mutate (from (v)) (to (w)) (count 0))
#=GF observed-chain-counts (mutate (from (v)) (to (y)) (count 0))
#=GF observed-chain-counts ) ;; end chain A2
root lqvilrgrligyadgstgqstnggghesgtgpdvdiggtvslkarenvtdaswfekiqsgfhwvgddysegltaspaadgygikskqahntksvfpgttatstekfrykqinegledpdvpivgvkdllidgvavrdlmaafdrfarlglgdkrreamatgnfepdleaknptfdgflnshealgtfwnfyitgdsliafyshekfirhakrgihtaaqkiyithrdidpdnedkylfplw
U40580.1/2651-2720 lqvilrgrligyadgstgqstnggghesgtgpdvdiggtvqlkaqenvtdaswfekiqsgfhwvgddysegltaspaadgygikskqahntksvfpgttatstekfrykqinegledpdvpivgvkdllidgvavrdlmaafdrfarlglgdkrrqamatgnfepdleaknptfdgfmnshealgtfwnfyitgdsliafysnekfirhakrgihtaaqkiyithrdidpdneekyifplw
node_3 lqvilrgrligyadgsngqstnggghesgtgpdvdiggtvslkarenvtdaswfekiqsgfhwlgddysegltaspaadgygikskqahntksvfpgttatstekfrykqinegledpdvplvgvkdllidgvavrdlmaafdrfarlglgdkrreamatgnfepdleaknptfdgflnshealgtfwnfyitgdsliafyshekfirhakrgihtaarkiyithrdidpdkedkylfplw
U72867.1/2-74 lqvilrgrligysngtngqssngsghesgtgpavpigstatlsarenvtdaswfekfasgfswlgddysdgvtaspavggygikssqavntkstfpgtmatstekfkykkinegledpevplvgvkellvdgvavrelmaaydrffrlglgdnrreamatgnfepdleaknpafesftnshealgtfwnfyitgdsliafysdekfirhpkrgiriaarsiyithrniepdnddkylfpvw
U40654.1/2012-2080 lqvilrgrligyadgsngtstnggghesgtgpdvdiggtvtlkarenvtdaswfekiqsgfhwlgddysegltaspaadgygvkskqahntksvfpgtthtstekfrykqinegleepdvplvgvkdllidgvavrdlmaafdrfarlglgdkrheamttgnfepdkeaknptfdgflnshealgtfwnsyitgdsliafyshekfiphakrgihtaaraiyithrnidpdkqdkylfplw
#=GC DSSP LEEEEELLLLLLLLLLLEEEELEEEELLLLLLLLLELLLHHHHHHHHHHHHHHHHLLLLLLLHHLLLLLLLLLHHHHHHLLHHHHHHHLLHHHLLLLLLLLLLLLHHHHHHHLLLLLLLLEEEEEELELELLLLHHHHHHHHHHHLHHHHLLHHHHHHHHHHHHHHHHHHLLLLLHHHLLEEEELLLEEEEEEELLELLLLLLLLLLLLLLLLHHHHHHHHHHHHHLHHHHHHHHHHHLLL
//