# isabelle_session_info

session_name: Rewriting_Z
sources: a2efd4ed0f3a8193e3ecfce86824b052338e452f
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
565f94d7c6ea68c37663550cd2c586516c09fddb


