# isabelle_session_info

session_name: HOL-Auth
sources: 88606418e9b70f33f590b45903c60472fd6bb1d7
output_heap: 375ac022a090699aebb2941f7bfb255603ab1922
input_heaps:
bf6df4dcb2f17dd318b7b5b00e238c73d2e97120
274a5428ce8f72c45aac0c20e4842031bace28fc
0a33b0c95605a63f19fc3f67a9f587b8e3c2e81a


