a95227edd6e11a6367a082c4bee5cf5c3ede0e68c185d236b15afdfc80f51f35  stochastic_rounding.py
d5ab36f8f9aa6f7d280fafc25c4bd282686e2dbbe1e1a300f79510c68f64ce05  README.md
580e37d0e9a0c8ef59ac0fa612e5136ecc2e776433c019761462dabc5239b665  observed.stdout.txt
d4e76b21f5024175ea97c76a1ab2d84e02a6f53b9a45979b63f16251170a7280  verification.json
