# isabelle_session_info

session_name: Surprise_Paradox
sources: 1758d46d7aab2b01814ba38f315e00c1e21f2204
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
ea74dca788cff514012a79a9ac42eebd634327c5
01a5b9554fa344ff12ffbeda4c4f25ce9d821ca0


