# isabelle_session_info

session_name: Surprise_Paradox
sources: 5c25bfc655f27235726d6a3870c795872f0c1da6
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
219ee2f53c45446d1549358f6cdb7ac284fd004d
711d025a8891938bf9d3b0b6f93dab1d1158fc1a


