{"archetypeName":"AServer","clock":[[["AServer","1"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AServer","2"],1]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"2"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"2"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"2"}
{"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],2],[["AClient","3"],1],[["AServer","1"],2]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],2],[["AClient","3"],1],[["AServer","1"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],2],[["AClient","3"],1],[["AServer","1"],4]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],3],[["AClient","3"],1],[["AServer","1"],3]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],4],[["AClient","3"],1],[["AServer","1"],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 (0) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],4],[["AClient","3"],2],[["AServer","1"],3]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],4],[["AClient","3"],3],[["AServer","1"],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"],5],[["AClient","3"],3],[["AServer","1"],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"],6],[["AClient","3"],3],[["AServer","1"],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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],6],[["AClient","3"],3],[["AServer","1"],5]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],6],[["AClient","3"],3],[["AServer","1"],6]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],6],[["AClient","3"],3],[["AServer","1"],7]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],7],[["AClient","3"],3],[["AServer","1"],6]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],8],[["AClient","3"],3],[["AServer","1"],6]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],8],[["AClient","3"],4],[["AServer","1"],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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],8],[["AClient","3"],5],[["AServer","1"],6]],"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"],9],[["AClient","3"],5],[["AServer","1"],6]],"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"],10],[["AClient","3"],5],[["AServer","1"],6]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],10],[["AClient","3"],5],[["AServer","1"],8]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],10],[["AClient","3"],5],[["AServer","1"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],10],[["AClient","3"],5],[["AServer","1"],10]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],11],[["AClient","3"],5],[["AServer","1"],9]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],12],[["AClient","3"],5],[["AServer","1"],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 (2) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],12],[["AClient","3"],6],[["AServer","1"],9]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],12],[["AClient","3"],7],[["AServer","1"],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":"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"],13],[["AClient","3"],7],[["AServer","1"],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 (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"],14],[["AClient","3"],7],[["AServer","1"],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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],14],[["AClient","3"],7],[["AServer","1"],11]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],14],[["AClient","3"],7],[["AServer","1"],12]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (3) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],14],[["AClient","3"],7],[["AServer","1"],13]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],15],[["AClient","3"],7],[["AServer","1"],12]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],16],[["AClient","3"],7],[["AServer","1"],12]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],16],[["AClient","3"],8],[["AServer","1"],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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],16],[["AClient","3"],9],[["AServer","1"],12]],"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"],17],[["AClient","3"],9],[["AServer","1"],12]],"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"],18],[["AClient","3"],9],[["AServer","1"],12]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],18],[["AClient","3"],9],[["AServer","1"],14]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],18],[["AClient","3"],9],[["AServer","1"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],18],[["AClient","3"],9],[["AServer","1"],16]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],19],[["AClient","3"],9],[["AServer","1"],15]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],20],[["AClient","3"],9],[["AServer","1"],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 (4) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (1))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],20],[["AClient","3"],10],[["AServer","1"],15]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],20],[["AClient","3"],11],[["AServer","1"],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":"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"],21],[["AClient","3"],11],[["AServer","1"],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 (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"],22],[["AClient","3"],11],[["AServer","1"],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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],22],[["AClient","3"],11],[["AServer","1"],17]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],22],[["AClient","3"],11],[["AServer","1"],18]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (5) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],22],[["AClient","3"],11],[["AServer","1"],19]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],23],[["AClient","3"],11],[["AServer","1"],18]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],24],[["AClient","3"],11],[["AServer","1"],18]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],24],[["AClient","3"],12],[["AServer","1"],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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],24],[["AClient","3"],13],[["AServer","1"],18]],"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"],25],[["AClient","3"],13],[["AServer","1"],18]],"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"],26],[["AClient","3"],13],[["AServer","1"],18]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],26],[["AClient","3"],13],[["AServer","1"],20]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],26],[["AClient","3"],13],[["AServer","1"],21]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (6) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],26],[["AClient","3"],13],[["AServer","1"],22]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],27],[["AClient","3"],13],[["AServer","1"],21]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],28],[["AClient","3"],13],[["AServer","1"],21]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],28],[["AClient","3"],14],[["AServer","1"],21]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],28],[["AClient","3"],15],[["AServer","1"],21]],"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"],29],[["AClient","3"],15],[["AServer","1"],21]],"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"],30],[["AClient","3"],15],[["AServer","1"],21]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],30],[["AClient","3"],15],[["AServer","1"],23]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],30],[["AClient","3"],15],[["AServer","1"],24]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (7) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],30],[["AClient","3"],15],[["AServer","1"],25]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],31],[["AClient","3"],15],[["AServer","1"],24]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],32],[["AClient","3"],15],[["AServer","1"],24]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],32],[["AClient","3"],16],[["AServer","1"],24]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],32],[["AClient","3"],17],[["AServer","1"],24]],"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"],33],[["AClient","3"],17],[["AServer","1"],24]],"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"],34],[["AClient","3"],17],[["AServer","1"],24]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],34],[["AClient","3"],17],[["AServer","1"],26]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],34],[["AClient","3"],17],[["AServer","1"],27]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (8) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],34],[["AClient","3"],17],[["AServer","1"],28]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],35],[["AClient","3"],17],[["AServer","1"],27]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (0) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],36],[["AClient","3"],17],[["AServer","1"],27]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],36],[["AClient","3"],18],[["AServer","1"],27]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],36],[["AClient","3"],19],[["AServer","1"],27]],"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"],37],[["AClient","3"],19],[["AServer","1"],27]],"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"],38],[["AClient","3"],19],[["AServer","1"],27]],"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":[],"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":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"proxyMsg","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.proxyRcvMsg\""}],"self":"4"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],38],[["AClient","3"],19],[["AServer","1"],29]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverRcvMsg\""},{"indices":["\u003c\u003c1, 3\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverSendMsg\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],38],[["AClient","3"],19],[["AServer","1"],30]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverSendMsg\""},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"msg","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (4) @@ (\"to\") :\u003e (1) @@ (\"body\") :\u003e (9) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (3))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"resp","prefix":"AServer","self":"1"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AServer","self":"1"},"tag":"write","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverLoop\""}],"self":"1"}
{"archetypeName":"AServer","clock":[[["AProxy","4"],38],[["AClient","3"],19],[["AServer","1"],31]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"read","value":"\"AServer.serverLoop\""},{"indices":[],"name":{"name":".pc","prefix":"","self":"1"},"tag":"write","value":"\"AServer.serverRcvMsg\""}],"self":"1"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],39],[["AClient","3"],19],[["AServer","1"],30]],"csElements":[{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"read","value":"\"AProxy.proxyRcvMsg\""},{"indices":["\u003c\u003c4, 4\u003e\u003e"],"name":{"name":"net","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":"idx","prefix":"AProxy","self":"4"},"tag":"read","value":"1"},{"indices":[],"name":{"name":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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":"proxyResp","prefix":"AProxy","self":"4"},"tag":"read","value":"((\"from\") :\u003e (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (4))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"4"},"tag":"write","value":"\"AProxy.sendMsgToClient\""}],"self":"4"}
{"archetypeName":"AProxy","clock":[[["AProxy","4"],40],[["AClient","3"],19],[["AServer","1"],30]],"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 (1) @@ (\"to\") :\u003e (4) @@ (\"body\") :\u003e (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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"],20],[["AServer","1"],30]],"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"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 (1) @@ (\"id\") :\u003e (1) @@ (\"typ\") :\u003e (2))"},{"indices":[],"name":{"name":".pc","prefix":"","self":"3"},"tag":"write","value":"\"AClient.clientLoop\""}],"self":"3"}
