# isabelle_session_info

session_name: Abstract-Rewriting
output_heap: f45346b84f9c4e6e8f022fa019ad884dda244e19
sources:
054d9ffcfb8b6137e2b1786752eb26c651711bc7
06449ffa42e3ad9928207f59223e44cf25b2ee37
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
3ecfd896f26c5cca66da9b9843ff54ea3ae5c01f
489cc83115622e6abec1120f6a9cb06376b51e20
4b27138d8d54cbbf4f923a22265f7f3ceeef3354
4d7593beeb8de8161a2b0b3016eb39eef129d064
52b0aace9d7980c050fa4e0a384a785c607e5f31
81de4762b4e143259c5d9fb6b097811906b676c1
87c940b52909a60807a7fe1fff397bafe6a6ce18
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bbd26ce1c989093f4b03a80d62bc89a55884df52
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3


