# isabelle_session_info

session_name: Abstract-Rewriting
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
output_heap: aa963d36c004d44d185f1963e086442e3e056aa0
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
19e2cf0910b7071efb7af8472164cf296f5e5ce5
1a57f98e2e7eadd0c7613c5a5a64a14b228d386e
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
3ecfd896f26c5cca66da9b9843ff54ea3ae5c01f
489cc83115622e6abec1120f6a9cb06376b51e20
4b27138d8d54cbbf4f923a22265f7f3ceeef3354
4d7593beeb8de8161a2b0b3016eb39eef129d064
52b0aace9d7980c050fa4e0a384a785c607e5f31
81de4762b4e143259c5d9fb6b097811906b676c1
87c940b52909a60807a7fe1fff397bafe6a6ce18
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bbd26ce1c989093f4b03a80d62bc89a55884df52
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25


