# isabelle_session_info

session_name: Kleene_Algebra
output_heap: 1738ef42f8204b743ebfb759aba88ee73398d1ec
sources:
0fa087ce214c5e05cd7f5a4a0e7fe2367a406222
3b58d39d4a543179e542eaf16ad3e167c64ac5ab
3f2e524db02d38ddaa7716509b9b60091324e69b
3f4d3110988b4016ade5621622b4f454b6e45976
6336c14be5559c86dbb6ee2dcee1c82c9e10d1bf
65102202305cb25ffc3eed9deee8f87d1e70978d
66f83d671014d369c83f6acd3bd48708ec20f2de
68d6a2f833ce7c69e1c463c4b64747340f37398f
77e07cf9939e92a3b870a41858e48a1dd11f67b4
8fa267177ee89a0390ee736df2332b137b347402
96d7886d8028801e69b3df9ffea4a5d7e588e709
a74c0ce085be073068ff778380acaf69d62d799d
acaf4e3eda1cf3a06e9db623f8d290143d038cca
ada87a3c192f25c0f3378430405307d589ab2919
b2f38bc333d08f737b915aa71148f5315e7527c2
d5700083070016081d8bcf0efb4a4d3e5ee5825b
da90d2248626bcab0abb5398afbd17e2a4c62a61
ed3bd98045c61bccb9e7ac4e721b5bc90163ebde

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9


