# isabelle_session_info

session_name: Logics_ZF
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143 21648982e9c2997b39a9ba4a7105fada3f2d7609
sources:
0606ec68adec11f5d24de6a1014281ee4e05393f
455b8f7f0b68b6917f4fda6625c895033cf8e8be
457d02a572a0fdf5e6d683531094ab0706112941
4b174e346e2b2ef68e63381410770e342180497a
59df6ae606b82fab9eacf2f782390c3e1cc49c96
60ccec60ca3b68f267c8ab4f44b60741d2534e44
6a0246fbf8f8e99986be3165c5f37f9479dc24cd
6af0313c02ff8ffaa80b11746ba1cafc87886535
803eecd899d90ed15e29fbf2cf51ad288e1747fd
8f194db846e67a7e87b25a27fa8ba1259c4af82d
9fb9c931110ac7289e3c279810f90d07d2b1e664
a634d2977750efd14daaf8018feb1fdee3310b68
b062f41d34d4761362c1529fed1d44af7fe85c1c
c4adc8b8c3edc6dfb4932326e67632bfa942c945
da32be17e5df65605f3b1c4d8e9d023b17eb7cdb
df6f32c654baed9b9142e375c508e2f789d58a4b
f0ad6c3745e8f50de429643a2f9f68f72d556150
fd2b02dded527fdedfb330e24b0df02361aff2bb


