# isabelle_session_info

session_name: HOL-Metis_Examples
input_heaps: 07e5a1191c820d85c57da9077ab4ebfd6fac1717 ec62ab1dc3467981b8f9583c286760b2acc807f1
sources:
0e2369879c23ffa3af808601205c5bb2f112917a
1c054bba801c78696521ec2ecb8ae1bce3c03467
1d0185456c84c1ac52eb1af2d60d63769a32bf0a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
23d1dac6518197bb653bb2dd01cece9190f4f6a9
2932e8acf4b7611b21070ee6927f2e748edb3353
30afac17f29e367c46142872751722118953e506
37f9ef6fc85bab2f1937ed81bc66ed57d9389e25
4ced3075193a3da52704475288420dfa4494b4fc
6a1b07b082500f00f6c3b1326fbbeedb536bae44
6cf4847e81aefdb0b84967237fe250cdaad0fb9e
7994a7ba3037704e6c7621623106d2250b6ddd27
848fe41a2972381d353dcdeee71ab681f1b6488d
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
9f82d4e53459f814981e858cec3d927c6169fcd3
a57d9982f519f4520bc5be96b6cadce5780761b5
a9d5ad43ec6f86c94c776f5fec4964604cea28d3
e35b62887e26e404a56a924a6d822ce0dc26ee17


