ffd66727785f14a3ec7d09bf94ac5f25b573183652c1c88b6e149c30082b5dd3  ExactHandleDemo.java
307914efa74dd3202a0f1bf216965a601c860e687cfb6fed781f5997331812bc  README.md
d1039fd8dceb58926017af7fa8d025c59a5a662fe32987cb8bc2db9b87b8b050  observed.stdout.txt
a3eaaa4db536c3618c43ee8b4eb7b3a7dec66f71a76b8667acf988cef62b54b4  verification.json
