# isabelle_session_info

session_name: HOL-UNITY
sources: b0013236b75acc3f5bb4532e979d6fd4327e87d1
input_heaps:
4c23dca2c69764faca7d5f4195665a237a606274
a5a70e75908aaa1084fb6ce900cda62e8b243612
9e418d5757eb01c4f05258d278ed3605683fb457


