# isabelle_session_info

session_name: HOL-UNITY
sources: ca8e9a808013778cc940b12f7abff0568513ccf2
uuid: 528c3a59-c15b-4cc3-bebd-0dc5f6010fe7
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
e684ea02aa8d116e9246a0aa733285e26470c532


