# isabelle_session_info

session_name: HOL-Auth
sources: 1d49a670f0f44aff5d83a0e08e0e24f372a5f880
output_heap: 349353b0ee3c345ea526da2daecac78a2d8cf65d
input_heaps:
8bf312bdadee5daf8facd55eb1fd3c8949cfba8b
7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5
87baa7656c81f5d5f578a7519ca8977b951f9da1


