# isabelle_session_info

session_name: Surprise_Paradox
sources:
1123444064778f19f416b39d92316b7194b2c412
6424ba0970fb378ef389e61c6329d8c1762474de
7c17a5adfaa4058742cf6da0c1077077bc5fe0f7
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
724fe15fc7c528eea834d95a1aed0c1a75587204
671efc691c6d1b092a305a7075c50c8ab6e48260


