# isabelle_session_info

session_name: Logics
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d
sources:
00a69b6b9a091d101a04871d367785c905744205
1869cf10866c35aab133b41ad70e52d680dfa470
1a59ec38d792676709589f92a3c2b32f8e05fb21
21f25f424f9bcb6ecb11a1284a957989d66f3d0d
3d6f56aed246af357cbe5911f5ff5f0b1a627830
457d02a572a0fdf5e6d683531094ab0706112941
7d42e1bc031d76783c9f58112bc559d5dc3b0282
811b60b4c95d03b79ec4a1c6a20eeb08d695d54e
8f194db846e67a7e87b25a27fa8ba1259c4af82d
9fb9c931110ac7289e3c279810f90d07d2b1e664
a634d2977750efd14daaf8018feb1fdee3310b68
a7549be81400966037fd62ab6bbe90650d0724b7
b549213b2aef49e3da5304ab78395d90a826e17d
da1567c528c0591b76c11bbf612dc90f71ec564d
f0ad6c3745e8f50de429643a2f9f68f72d556150


