# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
ef13f982ab8ece602c19868470bd12217b10be0c
2b11bbb984a7219fe7114d2633206c64c245ec6b


