# isabelle_session_info

session_name: Rewriting_Z
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
06ebe7ca50cf6dafbe6bb0448fe069a5d0f47c6f
0ceae5ad06eee8d958c860c4f897680e8782696d
0d624df132aa2e54b02fa619fa707a1b424b9830
19e2cf0910b7071efb7af8472164cf296f5e5ce5
381df363fb5af5931f68add2be63eda5ce000611
383dee4bb60284cc7229af5017def9c12378879e
3d085b2f15013ab9cdd8983b82002e5b7e45d759
489cc83115622e6abec1120f6a9cb06376b51e20
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
73424ec42caffd4a8d5e271a9138c77d0cc43a99
73eec23e377618f2dc3093471b0b5d9418028105
81de4762b4e143259c5d9fb6b097811906b676c1
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
87c940b52909a60807a7fe1fff397bafe6a6ce18
8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f
973d6bd96dc9037f8676681fb869d6ae83013aac
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
e0176e519be33fa7f7b452fa7709992c0dcaff94

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
279c28e6fd754a055c424f915e16ccca3ca7791c


