# isabelle_session_info

session_name: Surprise_Paradox
sources:
3088a1c3ae4737a68dcc9f7e680463535f0e23ee
6424ba0970fb378ef389e61c6329d8c1762474de
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869
fb7687a4bae9b5f198190342b14c94e895d374d9

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
efe1683f77897f7d990d78bd609c1f466ab2bf8c


