# isabelle_session_info

session_name: HOL-ex
sources: c4d64b55ef277f5bb6ebd751a1f87ef8db9fb5c6
uuid: a7d1d185-c62a-4a60-9677-0bcbbb434c05
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
68fdfbd68244a9601fd52de5f492afc81d3b228a
c1d1b89d067587f51e7e26400d662871d76a0f33
4317f48208ae48f70269d1126ab173b8d4a66fec


