# isabelle_session_info

session_name: Rewriting_Z
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
0ceae5ad06eee8d958c860c4f897680e8782696d
0d624df132aa2e54b02fa619fa707a1b424b9830
19e2cf0910b7071efb7af8472164cf296f5e5ce5
383dee4bb60284cc7229af5017def9c12378879e
3ace40c2b87e7badb20f0acf88f91b9f411b105f
489cc83115622e6abec1120f6a9cb06376b51e20
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
52b0aace9d7980c050fa4e0a384a785c607e5f31
73424ec42caffd4a8d5e271a9138c77d0cc43a99
73eec23e377618f2dc3093471b0b5d9418028105
81de4762b4e143259c5d9fb6b097811906b676c1
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
87c940b52909a60807a7fe1fff397bafe6a6ce18
8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f
973d6bd96dc9037f8676681fb869d6ae83013aac
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
e0176e519be33fa7f7b452fa7709992c0dcaff94

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
a0d261634246415e0ab824781937312272186a5b


