# isabelle_session_info

session_name: Surprise_Paradox
sources:
3088a1c3ae4737a68dcc9f7e680463535f0e23ee
6424ba0970fb378ef389e61c6329d8c1762474de
74c819f99395c98fb74c6e55e19d40dc572fcf64
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
ba0771fc0c7d0d3f916c43417f199c897c9020d2


