# isabelle_session_info

session_name: HOL-UNITY
sources: 423ea386b59d21af7a621fa3bf0849dd5115dab3
input_heaps:
da36a99885b072ea1df6da1ecd17877fde202f52
bdf29acc00c9b494811f7778844336d9d406d3ec
fc50af8af4747fe4fb2fbf997be512c5134346b4
6dcce36be0a54de819c0fb94cfe839e3d4ff7bbb


