# isabelle_session_info

session_name: FOL-ex
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143 22111d4ac7e43abcaaeaeac874314a075d1657bd
sources:
049f3b3351d42d4f5a266ef0e0b20cad35946cea
09303a448e5b07937316d6557fb101da620812d2
0aedf1e531598a94768452a261859b830ab009d0
422f4ee4789fcfdcab3780c64faf924792c2b1d6
4ba809297a57fc33f35c53d59362ccf21fc5e06c
54a712ccd99aa872013ef7367f1f73b20cf3767e
6625ea99015f4d59c1824fd41f5906b80458c6ba
66560643897aa39ad18d5803a05ae022dae48640
697049e3fe9e75fded74bc40f7ae595ab9d2b3a6
828dc664f11c19fba78d70094c12044f3c10ceb1
85b2ea83fb6470a5a0f656c25bb6f9a86aa44a00
8f9a3e234dda3a55ece7b693153843f487b8ddf9
90d9ad83448aeb860f9e16f14aac166e074fdb1a
a31282a4e213e67a97da78fcdac4d41f7d0d4e0b
a9b14b6d7ba479538cae8f96e8c5211286775620
c36603f9b36c8c16eec706008fab1a6a25b557b2
cbac2dfab0836f291ea16e5da55cd246bf4c58bb
d0d257ba7dc167a8ee6eb7f46c461824c1322515
de7151f8c44c134d1643ced42dbcb4472e8fdb72
f0d68b1409b482440db5bdfd0acefe740a23e271


