# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 2b570437bf3ac4fe7241e5dfec60613b33015eab
uuid: 6c1a8a22-96ee-44be-b1e4-2ebc4e5dac6f
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6


