# isabelle_session_info

session_name: Surprise_Paradox
sources: 2146f74f01627ab89d7df62e3de696b5b06db180
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
17d03261cfa6b3f7a3b00fc6599df4c0af151fd9
43ded66a397a16e92e84bf4a2d787f4bb79adf06
c3340020d1f9172d0a429cd25ebb434991f9fbfe


