# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
3f2ab5a11cdc0e3f55edbba46bc7f76fd89de14c


