# isabelle_session_info

session_name: Separation_Algebra
sources:
06346cab5ec6478ae885ed1eeec7530656c6ffab
0db7fe504b58ebb3fdeb70be35902f8743bc2be2
113d89a9978a46123f47a2d125380933b9307f82
264021d3cde7bda13dfc001fcf5e7840dd186849
30add8d917f77389231e164e8534087eebc840f4
36efa08c1b8ba73be4ca19ec7aecb7045ca81b8f
455e68ebe02bdad42086eecf2bf25d2e9bc3482e
5ade9aa889253c47739de1d2a0c211a08953fe15
6a275c069b634e2c489cbcd21f5f0832260b3389
6d7c9cc1af4310ea8810af0955237cbfd046c69a
78046c9d1b79912b0698f2ee2418dfc36f83616b
7b6b2158f35389a38f5ce764b78e06dac1c01286
7ff5b276617d7106185ed08cb192804a12706164
95c841d96beb7672851b61f903b9788f5d5e41ce
a96a6d27f3252f89bc77eac16e0507b8e1bde85b
b88240707449689b5926781186ec44327c828d6b
cec01125ab754aeac0a7dcf5817b7047c6a3a33c
d49138b595939baf5780a53efcfb4318f28501d9
f8cb58b34ff8d7482a8f3edd338e97450e679596

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
7f9ea2cd7bb7be132b52334531098cdd85d231a5


