# isabelle_session_info

session_name: Surprise_Paradox
sources: b4a289bb8587917da915a156bc8c6ef83bc16484
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
9a5ac691732f88773b3d4766328b7855e78f885a
48355108792dbf329b715ffbaef75739a659a12c


