5269ba47441745bd85aa4d64f630d3e3dc8eed745d50cd8956803fc414bcf72b  demo.py
cfaaa4563cf44e48e15421f2a578d8a15859b96a51332b6cd2027a425d03a8ce  README.md
9c0840f6f3ed4afa7c8f364aa785d541d8d97a3eb75d8f93084bb9454ab4426f  observed.stdout.txt
1a92a25be0b3f01507d272c31aab550fc958cac61825c228c4eb52e84d2cea4e  verification.json
