# isabelle_session_info

session_name: HOL-UNITY
sources: 594a28d8a7d3ad6b628f0c7245dd205e1eccd406
input_heaps:
895b1b1b83f37732e07998df22f424d780740496
2191c6665e759bb2ba1cac4f2b634abed64702be
4dcfd52846c0d1c5068fe68aa726c90a78f4b6ea
185ad85c031fe923395f6d7a71052e86a9a86611


