# isabelle_session_info

session_name: HOL-UNITY
sources: 6c0b8ebd08f3dd2e79f64630a4c56379acd8d69b
input_heaps:
a03e89d3fadb53a59cb81066bc63e4eb9b8ee288
067a05d999a76b0907f8fcc12361d7e70ff75dff
decd8bfe1c79667df0969f3bb05540af50068a80


