# isabelle_session_info

session_name: HOL-UNITY
sources: 7c5f58ca6529a521536a2627d9551c7be66f31a0
uuid: 72fb9612-eeed-4cf2-a586-d65bdde4754e
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
508d0f0429151c70c3de95671b25054afd498ee1


