# isabelle_session_info

session_name: Surprise_Paradox
sources: e7cc2d542c55dd4b7db234da257f04cb8ff10c23
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
d6cb9ea1f89389439b8f2e36f40ef83bedc7dce2
ca1a0965e9847e5a22b709768c588bac3da76843


