# isabelle_session_info

session_name: ZF-UNITY
sources: f4dc03b3f1162e2ed215b8b2fbb06f8fa0e9b13b
input_heaps:
5c2e68da34e0be81d09bd6288ca8dae0b78aa71c
c6fa9b1cf97b78ad4daebc243aad2767d53cac9f
09ffbba9f993ccb49ab3d56b4cca4d5a098529ab


