# isabelle_session_info

session_name: Surprise_Paradox
sources: 9265b84af0fb5f8141f61fb67074bc04dd5a5e63
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6a753f5bba36be6a9677923d7a2b6c8b29d1347e
b7d2f1f69f19fc9294392626dbb233eabe2342a6
ef50be381f5ca29fa5afc4936516d418a3626f53
064dfb47f03c7a41f52c38afe813dab750a69b27


