# isabelle_session_info

session_name: HOL-Metis_Examples
sources:
0e2369879c23ffa3af808601205c5bb2f112917a
1d0185456c84c1ac52eb1af2d60d63769a32bf0a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
23d1dac6518197bb653bb2dd01cece9190f4f6a9
2932e8acf4b7611b21070ee6927f2e748edb3353
30afac17f29e367c46142872751722118953e506
37f9ef6fc85bab2f1937ed81bc66ed57d9389e25
4ced3075193a3da52704475288420dfa4494b4fc
4f0c77af82d612cf4d1f6af8d930c9b232f46a62
6cf4847e81aefdb0b84967237fe250cdaad0fb9e
7994a7ba3037704e6c7621623106d2250b6ddd27
848fe41a2972381d353dcdeee71ab681f1b6488d
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
a57d9982f519f4520bc5be96b6cadce5780761b5
e35b62887e26e404a56a924a6d822ce0dc26ee17

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
4113b3ffb31b40b1c0c2e73ef8640203db6d0ade


