2ae4eab8bbdac76c760a34d1ac02c69d25590f6538be6b9317e94b76c25d0037  pinball_intervals.py
59fcb9027560128766d55e1ac731451d7a8ac95c642a714a68f1a376d37550ac  README.md
c0fd47310107f3fd1ec5c216d123d99baacaf2af4d4c7243cdabc46537a6f161  observed.stdout.txt
b743c2560d9e0169f0e865dd2706fb623d92fb88c5b0ce9d64044aa63972fdf3  verification.json
