6ea28148bfc22426d23b16a4a9e65eb60460345bcd67bdd7d30826e9723a0dc6  ClassValueRaceDemo.java
22270f860e287655b059a32dfc5e2be23720190279f14ec4cb5a94a36ab3dbe8  README.md
d8b765a516a49dc36339886026a283ac33f279c955bc4efb397e762e3ecd4866  observed.stdout.txt
4b2328cde9d20d05d669c40a9b59d921be7402ae9fd4bd98c3e25e6b1d91207c  verification.json
