# isabelle_session_info

session_name: Kleene_Algebra
output_heap: 852045aed6d0c651ae7195a272d40906f40473f7
sources:
0fa087ce214c5e05cd7f5a4a0e7fe2367a406222
3b58d39d4a543179e542eaf16ad3e167c64ac5ab
3f2e524db02d38ddaa7716509b9b60091324e69b
3f4d3110988b4016ade5621622b4f454b6e45976
6336c14be5559c86dbb6ee2dcee1c82c9e10d1bf
65102202305cb25ffc3eed9deee8f87d1e70978d
66f83d671014d369c83f6acd3bd48708ec20f2de
68d6a2f833ce7c69e1c463c4b64747340f37398f
77e07cf9939e92a3b870a41858e48a1dd11f67b4
8fa267177ee89a0390ee736df2332b137b347402
a74c0ce085be073068ff778380acaf69d62d799d
acaf4e3eda1cf3a06e9db623f8d290143d038cca
b2da5512d2c42c35c73246a11d0110425d846bd1
b2f38bc333d08f737b915aa71148f5315e7527c2
b870fde2f090094400684f09c8f670bd3ee0584f
da90d2248626bcab0abb5398afbd17e2a4c62a61
e8ebaff98e01b556bd1a059ba313bffaddf40fde
ed3bd98045c61bccb9e7ac4e721b5bc90163ebde

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e8d126d2d5de6a681bfbf076b304dc246fd257a8


