# isabelle_session_info

session_name: Surprise_Paradox
sources: d38b23d912edaaea189c00780e812f523358cb23
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
573acbe5a497505b9a858a8269231ae3269cdeba
fba8aca6d7be4c85696eb086442c3be0905ab9a8


