# isabelle_session_info

session_name: HOL-UNITY
sources: 6c0b8ebd08f3dd2e79f64630a4c56379acd8d69b
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
eca1c2a30f540bd281b7b8683b5f58b7b29763a4


