8ef18c32878d04fb569706925e605a4b0e97241c323b2fb2032eb598ab2fea5d  MessagePatternDemo.java
b9579cb273e2488119a20baf52e1df00c93e02ed4fa82e028046585e6ef0f6ae  README.md
4863776c1a28498ecb36a2c35b657c1cb1b97161d376525189a8853f696281d2  observed.stdout.txt
26903413398003573510e094cc12a21b1d0f2bd3aaf02bcc4b765f7f7fd8df5a  verification.json
