# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
d33bb747ddc711b89f600df2c2e88b001643cc80
63190d951d952f216944aa8d5875527779a930ae


