(. ((((sheep --> ([ see ])) &/ (^ count)) =/> (sheep --> ([ counted ]))) (1.0 0.9)))
(time = 1)
(time = 2)
(. ((sheep --> ([ white ])) (1.0 0.9)))
(time = 3)
(. ((({ instance1 }) --> ([ white ])) (1.0 0.9)))
(. ((sheep <-> ({ instance1 })) (1.0 0.44751381215469616)))
(. ((sheep <-> ({ instance1 })) (1.0 0.44751381215469616)))
(. ((sheep --> ({ instance1 })) (1.0 0.44751381215469616)))
(. ((({ instance1 }) <-> sheep) (1.0 0.44751381215469616)))
(. ((({ instance1 }) <-> sheep) (1.0 0.44751381215469616)))
(. ((({ instance1 }) --> sheep) (1.0 0.44751381215469616)))
(time = 4)
(. ((({ instance1 }) --> ([ see ])) (1.0 0.9)))
(. ((([ white ]) <-> ([ see ])) (1.0 0.44751381215469616)))
(. ((([ white ]) <-> ([ see ])) (1.0 0.44751381215469616)))
(. ((([ white ]) --> ([ see ])) (1.0 0.44751381215469616)))
(. ((([ see ]) <-> ([ white ])) (1.0 0.44751381215469616)))
(. ((([ see ]) <-> ([ white ])) (1.0 0.44751381215469616)))
(. ((([ see ]) --> ([ white ])) (1.0 0.44751381215469616)))
(. ((sheep --> ([ see ])) (1.0 0.40276243093922653)))
(. ((([ see ]) --> sheep) (1.0 0.28712091374556914)))
(. ((sheep --> ([ see ])) (1.0 0.40276243093922653)))
(. ((sheep <-> ([ see ])) (1.0 0.28712091374556914)))
(. ((sheep <-> ([ see ])) (1.0 0.28712091374556914)))
(. ((sheep --> ([ see ])) (1.0 0.28712091374556914)))
(@ ((sheep --> ([ see ])) (1.0 0.28712091374556914)))
(. ((([ see ]) <-> sheep) (1.0 0.28712091374556914)))
(. ((([ see ]) <-> sheep) (1.0 0.28712091374556914)))
(. ((([ see ]) --> sheep) (1.0 0.28712091374556914)))
(time = 5)
(! ((sheep --> ([ counted ])) (1.0 0.9)))
(. ((^ count) (1.0 0.9)))
(time = 6)
(time = 7)
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[("sheep see")]
[]
[("current time")]
[]
[("sheep white")]
[]
[]
[]
[()]
[()]
[()]
[()]
41.60user 0.04system 0:41.65elapsed 99%CPU (0avgtext+0avgdata 44652maxresident)k
0inputs+0outputs (0major+6337minor)pagefaults 0swaps