# isabelle_session_info

session_name: HOL-UNITY
sources: 897dc1479a551401ec746f036396be76bf85ce24
uuid: 18690710-840f-4219-bd74-119cf5e7981b
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
63e30673869a24add3035d926b4750a7d094230c


