# isabelle_session_info

session_name: Surprise_Paradox
sources: fa7c0e13f27e25e9542d7d3e94603abe575aa791
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
c2369b2e3d5ab9b3b6cda2579cc1733534a20cda
898c878b8b4ecf39f759ecf5dd7cf7d573d7c05c


