# isabelle_session_info

session_name: HOL-UNITY
sources: 81be5f4b8377867954735f9f0c01803f6b16c54f
uuid: 78116183-df7a-478c-8b18-7701ce284e82
input_heaps:
46471e6616f7726ee6f7c4484f2c5ad2c2f77c52
61821a842a958a016e9d5f60f90d2a4ad88e0a58
c80d90b79f1d8d4ded142c845fda4d56134afe1b


