# isabelle_session_info

session_name: Rewriting_Z
sources: 878d37ed623519bf9acffbdce99d4d76ed76426d
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
0d985a4de0fd11581da4339c40ef9013958aa8a0


