# isabelle_session_info

session_name: Stuttering_Equivalence
sources: e5ab4557a7d6d16878e0dbdbffec24f038e5c73d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2
e8b424c31e3562b835ebb066bd8c82fb5ce4a172


