Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (0) [sent]
Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [empty]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (1) [wait]
Out : chan(bool<>) Out = (0) [sent]
Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [empty]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (0) [wait]
Out : chan(bool<>) Out = (1) [sent]
Out : chan(bool<>) Out = (1) [empty]
time: 320
