# isabelle_session_info

session_name: Surprise_Paradox
sources:
1123444064778f19f416b39d92316b7194b2c412
3088a1c3ae4737a68dcc9f7e680463535f0e23ee
6424ba0970fb378ef389e61c6329d8c1762474de
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
22e6789822fc4e6a7e1d7f10ebe91d582ed7a2c9
2f733859bd040050d9ca7934db0b04d821eab990


