# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
d059dfdcc8c0e3c2ce906bbd9f3832c06e0165e5
84272dbdfff88ba97872bfaa56f41dd8edf7586b


