# isabelle_session_info

session_name: ZF-AC
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d f6a47b4f22906172279ea9ff188e015f49635c58
sources:
1afcc71971b3aefb86eb3bcff68952cc56e2814d
3dcbf32a5b201c43f15ff143b6ae6554e8b4473a
3dddc0ff2abf09d1383929a525e0f8a75a6a3dff
5863f148db56ab09b24c50474c2ee660acf73784
5888623d64ba12e6f0306f3fd1f757401cb3f69b
5b1e8dced20a23958aeac57505cbe89ad0e0cd53
64a54d70f4e10b494bc05b075dfe89b52dc30641
76efaa96c7daf746388df383464cfd569957afb5
82457f4f58caead494df56976f8a5d6e07ac4bdb
8469405c44c723746957315086839625a26484dc
a44597aff3d071ffa814710a7acbd739e91bbae5
b6ac791f14c9c5d23130d34bf64cacedf7be7319
bc19eb10dfed3c83b55145c646685284142dcbfb
c27fbced03b045d7aba88a83c433aa1c3e3d83ac
c60f47c961b5ab563d317645f93e01c285851ad9
caf4fce915814f284c4568772e72465dea823892
ee99107f08bac5101c8e9e1e654125db32780923
fc9bbae489f04a0823db72656f5127ed041639e8


