# isabelle_session_info

session_name: Sepref_Basic
output_heap: a845e5e1c5182bf89e39c5bad8f0b16cdacfbee0
sources:
024706a71555fa9fb5a39bb22e93a953eb5035eb
0edafbafd7b9181f4751c74b64d1b3df1f07e71e
1c94f320ef5c8da5a367c8e50b5eac6cae0cbebf
21d34584523da3e0cf79191f3d96d64ece5ac31f
2324c5c2cb25c8ea4db4c740222c5d5ce989bfd4
2c84154247571ee3ef47275852cb10c68388ec97
30a42207396cb36ea641cb923f1b6b0784292264
342ea467094ded17ec190edc442dce66939c206f
3f191c7ee2e376a50078b5509772599e430acb46
4a79f3f494925e05d136b731bfc5ea10b7cd5fd6
52b27c729c2f674d826e08574075d7ad5155a5f7
5d0130ba138a3a96253643375edc397d7ae19051
6600990daae8392bf296c19263bf8b16b2b8562e
67eeb6d127f3851bd89f6fde3a0d2f1ed7f054f3
7432d19a57086969ee9fd1beaf5c6a3675ea5f47
7952a528f79844a225ac24cc8024aaa843831ff4
955cfad40026a8aa09db64af568c770a446dec93
98ab16a64099314b60ec27b228bb7b1fa833f7fa
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
99593a587df753a2c1f1ce1025862ce68e0f42ca
b1e4bf1d91cf6139238da42cbd57f7c6ae828b67
b406dd4d5ea022f6003252a41a0c0d5bc1a473a7
b82105b69285b55fedc5a0c564bf4dd28a59664e
d9b931e4316c9d84b0972e8ae0d09543c763535d
e507e6c8812247acfd8b2d808a519faba377b9a0
ed7887a8b582757b25aaa953fa0ecedfec68e5cf
eed9576649a02392213eeda4d73c6ed7e6fc1fe3
f61a368d419fa0c1b5f5e198f586775ffb1e074b
f7134e525678f489e17f744dfb1eedbe48a463c4
f9cc16420ffaadecddbf751caae2513bdfd018e1
fa2b346c0c657106df1d7b85f0110a748f993951

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
5782d1e381411826a82f76b39feccdce77eb3b55
45d371a88b99d33d1d7cfdc29be65da8f4273bbe
2059509980c8c978e66a1f773ebdef98f32ee0bc
818617711e3ea9d7595bc23ca18de111237a99ec


