# isabelle_session_info

session_name: Surprise_Paradox
sources:
1123444064778f19f416b39d92316b7194b2c412
3088a1c3ae4737a68dcc9f7e680463535f0e23ee
6424ba0970fb378ef389e61c6329d8c1762474de
8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
b13adaf4048bcdf3c6fcd4154091d7052118511f
f54f5f1ee40adb2a97352a599d37a3cd3b56a1eb


