# isabelle_session_info

session_name: HOL-ex
sources: ea95501b3e4ecc87ef94a9cd1804a41a17e1a1dc
uuid: 270d4c63-44c9-404c-a2ca-839fb5924227
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec
4e9390c092cfe84967acd18a5cc271b6e00f138f


