# isabelle_session_info

session_name: Abstract-Rewriting
output_heap: 75374a09cbef1204a7e538fc9a783ad1f5d9fc25
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
0fa41d9493629a0b6ac0a7a9bbc691f41ac1d7ec
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
39a8a766be9f8e6946f51349aaaaec15ccc47289
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3f397fe13f79f49519626b00201b8a6d2d263070
4b27138d8d54cbbf4f923a22265f7f3ceeef3354
4d7593beeb8de8161a2b0b3016eb39eef129d064
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
73182e10856c891f435f0cfadbde98444ba98426
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bbd26ce1c989093f4b03a80d62bc89a55884df52

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


