# isabelle_session_info

session_name: Surprise_Paradox
sources:
1af4e2e6d29c5ffb07cba5e9ce2bdb7096864b98
3088a1c3ae4737a68dcc9f7e680463535f0e23ee
6424ba0970fb378ef389e61c6329d8c1762474de
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
c9afdf206a4aefabbc07b3fcad7b042f96b3de96
bd1da76a7178d3bb4151effc04b1118570d72d7a


