# isabelle_session_info

session_name: HOL-UNITY
sources: 777c72f7aae1023930bb7107b84ac931449eac4d
input_heaps:
2c79d3d54810032b527670dc13f3e7c0919e7d5a
0a6bc08b09ab01ef5fadd0d577b4644a4a0ca9cf
3971576ab0e214929aabcd39dc2e1d282ca3fd53


