# isabelle_session_info

session_name: HOL-Auth
sources: 08920e16014eccf8b30307ad00ff54e05442057c
output_heap: 36aa4dc3a967b49c771398a20982cc30baf58601
input_heaps:
a722fcaa1e8b43a508ba50c6d40dc06804ad4aa9
0a9ce344dfac367830e992bc261ce9786406c92c
6a776fa768e8b16aeaf01a6f504224edb4f9b526


