# isabelle_session_info

session_name: Sepref_Basic
output_heap: 5edadf89aaece62308cd7b693718d282df5939a3
sources:
024706a71555fa9fb5a39bb22e93a953eb5035eb
0d418417c6938f88af4fe58c29f7a7499b68931e
0d624df132aa2e54b02fa619fa707a1b424b9830
0edafbafd7b9181f4751c74b64d1b3df1f07e71e
21d34584523da3e0cf79191f3d96d64ece5ac31f
2324c5c2cb25c8ea4db4c740222c5d5ce989bfd4
2c84154247571ee3ef47275852cb10c68388ec97
30a42207396cb36ea641cb923f1b6b0784292264
342ea467094ded17ec190edc442dce66939c206f
3597243d39d44c26966b4ad4e834ba390d276533
383dee4bb60284cc7229af5017def9c12378879e
3f191c7ee2e376a50078b5509772599e430acb46
4a79f3f494925e05d136b731bfc5ea10b7cd5fd6
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
5d0130ba138a3a96253643375edc397d7ae19051
7952a528f79844a225ac24cc8024aaa843831ff4
82ab4aee824d7ba393e8629dcbbdca3a9a13292b
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
955cfad40026a8aa09db64af568c770a446dec93
973d6bd96dc9037f8676681fb869d6ae83013aac
99593a587df753a2c1f1ce1025862ce68e0f42ca
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
b406dd4d5ea022f6003252a41a0c0d5bc1a473a7
b82105b69285b55fedc5a0c564bf4dd28a59664e
c2b1f0fe521a9bfbede2c5e31b0e5e55238dac78
c51124a3102cea383882e0c00fea396efa74ed4e
d7050ec908b2e5cd7cc5394443726a326091beab
d9b931e4316c9d84b0972e8ae0d09543c763535d
e507e6c8812247acfd8b2d808a519faba377b9a0
ea29799893c3b9e143a0b473cd46eedd66a27975
ed7887a8b582757b25aaa953fa0ecedfec68e5cf
eed9576649a02392213eeda4d73c6ed7e6fc1fe3
f61a368d419fa0c1b5f5e198f586775ffb1e074b
f7134e525678f489e17f744dfb1eedbe48a463c4
f9cc16420ffaadecddbf751caae2513bdfd018e1
fa2b346c0c657106df1d7b85f0110a748f993951

input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
0b1f3618ee62d44b3ddda82e0cf34a54d49130e0
1ceeb01499265611c449fb44ca8927f0f8548966
d9b39fbedb39adc11d55af7e771c2af45abbfcf3
c1f89c8737c283c2696459c81031ebf20501bb70


