{"archetypeName":"AClient","clock":[[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],1],[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],2],[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],3],[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],4],[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],5],[["AClient","3"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],5],[["AClient","3"],2]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],5],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],6],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],7],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],8],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],9],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],10],[["AClient","3"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],10],[["AClient","3"],4]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],10],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],11],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],12],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],13],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],14],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],15],[["AClient","3"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],15],[["AClient","3"],6]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],15],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"3"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],16],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],17],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],18],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],19],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],20],[["AClient","3"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],20],[["AClient","3"],8]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],20],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"4"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],21],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],22],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],23],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],24],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],25],[["AClient","3"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],25],[["AClient","3"],10]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],25],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"5"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],26],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],27],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],28],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],29],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],30],[["AClient","3"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],30],[["AClient","3"],12]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],30],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"6"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],31],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],32],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],33],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],34],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],35],[["AClient","3"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],35],[["AClient","3"],14]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],35],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"7"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],36],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],37],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],38],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],39],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],40],[["AClient","3"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],40],[["AClient","3"],16]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],40],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"8"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],41],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],42],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],43],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],44],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],45],[["AClient","3"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],45],[["AClient","3"],18]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"0"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],45],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientLoop\""},{"indices":[],"name":{"name":"input","prefix":"AClient","self":"3"},"tag":"read","value":"9"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"req","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientRcvResp\""}],"self":"3"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],46],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyLoop\""},{"indices":["\u003c\u003c4, 1\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"1"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],47],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":["1"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"2"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],48],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":["2"],"name":{"name":"fd","prefix":"AProxy","self":"4"},"tag":"read","value":"TRUE"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"2"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"write","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.serversLoop\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],49],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.serversLoop\""},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"3"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],50],[["AClient","3"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.sendMsgToClient\""},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"msg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (3) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyLoop\""}],"self":"4"}
{"archetypeName":"AClient","clock":[[["AProxy","4"],50],[["AClient","3"],20]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"read","value":"\"AClient.clientRcvResp\""},{"indices":["\u003c\u003c3, 2\u003e\u003e"],"name":{"name":"net","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"reqId","prefix":"AClient","self":"3"},"tag":"write","value":"0"},{"indices":[],"name":{"name":"resp","prefix":"AClient","self":"3"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":"output","prefix":"AClient","self":"3"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (3) @@ (\"body\") :\u003e (100) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
