# isabelle_session_info

session_name: Rewriting_Z
sources:
063494f3285281728bea47ca6e498c7d71eda871
06449ffa42e3ad9928207f59223e44cf25b2ee37
09b8453462c4a144321782c9569465aea2c2b189
0d624df132aa2e54b02fa619fa707a1b424b9830
19e2cf0910b7071efb7af8472164cf296f5e5ce5
1fa2bf53058b66f75ed81fb2e1dbc95983a74e19
383dee4bb60284cc7229af5017def9c12378879e
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3da88fae732334093df9b045ddc474adef68e4a8
3f397fe13f79f49519626b00201b8a6d2d263070
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
70c61574c7dd73496cf4ae3505ccf491f4786514
73eec23e377618f2dc3093471b0b5d9418028105
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
e0176e519be33fa7f7b452fa7709992c0dcaff94

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
6f515370fe870a5e10b339d06446f0c7da17db38


