# isabelle_session_info

session_name: Surprise_Paradox
sources: 5096460d09514536508e2232b273d3ea70af56d1
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
b9602ff5d206049e9189387d43ea79f26820d465
15e54daf95e4b4ded4a1b574bae365a8db4f851d
80f8e8b6b09533ef3bd555e7b4bfc7175c9e467d


