# isabelle_session_info

session_name: HOL-Metis_Examples
sources:
0e2369879c23ffa3af808601205c5bb2f112917a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
23d1dac6518197bb653bb2dd01cece9190f4f6a9
30afac17f29e367c46142872751722118953e506
4ced3075193a3da52704475288420dfa4494b4fc
4f0c77af82d612cf4d1f6af8d930c9b232f46a62
6cf4847e81aefdb0b84967237fe250cdaad0fb9e
7994a7ba3037704e6c7621623106d2250b6ddd27
848fe41a2972381d353dcdeee71ab681f1b6488d
8d8f1e54418097925165113cf7def28df2fd1a0d
9a362efebf64ffd920419226b62b7d7b9594c189
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
a29e4a1b14b46397f2d97d488081eb16759e6af7
a57d9982f519f4520bc5be96b6cadce5780761b5
e35b62887e26e404a56a924a6d822ce0dc26ee17
f74677738c92aa5cac3970ad1ce529e2d0b0bfb7

input_heaps:
badff2eb78ec951e0416488ed93765ea7e7b8753
75443fb8de963b2ed9e7c9f1ae11bed5ca867354
c1502b336049c22f24ab6bfc0f88f963e08292d5


