# isabelle_session_info

session_name: Abstract-Rewriting
output_heap: 34d45216c9c2f40984859f5930a26943fb2d021b
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
381df363fb5af5931f68add2be63eda5ce000611
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3ecfd896f26c5cca66da9b9843ff54ea3ae5c01f
489cc83115622e6abec1120f6a9cb06376b51e20
4b27138d8d54cbbf4f923a22265f7f3ceeef3354
4d7593beeb8de8161a2b0b3016eb39eef129d064
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
7fc44e8db572219c11963b8b8be1ea284795dcfb
81de4762b4e143259c5d9fb6b097811906b676c1
87c940b52909a60807a7fe1fff397bafe6a6ce18
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bbd26ce1c989093f4b03a80d62bc89a55884df52

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


