# isabelle_session_info

session_name: Surprise_Paradox
sources: abd5831a32e6f4b11328c4be05aae4dc69b1c26a
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
1ccdc5912b9f175adfafcf9aafc9da70fbebdc19
b96d2b592d9b6f5bdce863adab6c950a7a00d660
81199e86c5ec0b15da5ebee8a26e506894fc37c0


