# isabelle_session_info

session_name: HOL-UNITY
sources: 72af85194ef6c386f4cdaed42a04bf062e1523e3
input_heaps:
d7ef5b7f6ca06e336d162c6e47f9e9ad001580ce
3549c9067362f3eb0cbcef543ff4c504cc325687
1f48701a68db74c4566dd667485b95db2cd61806


