# isabelle_session_info

session_name: HOL-ex
sources: d7af781510ff820a36008749e258b5ee2b346bc6
uuid: 677a18cd-e358-4d07-b90a-80bbe5aa3f7c
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
03aa0939e8a48a55bf99a31f54ae46cb6b5be497
2b27d391e9a4a55b0ac69418686a3dae9ae0c2d3
70fba7dfbf411dc9b8e668c8b121ff6dfba5e990


