# isabelle_session_info

session_name: Stuttering_Equivalence
sources:
3ae1dabc7b8ab36c35cf101b3548665f4e63facd
5494a10d7bf11c4de909a12a92e487c26fb55ea1
5a68d3a472b4dc7654f34af4ba47bdd150c34706
857060ed8c59d8e65872a569304dd512a8049f5d
c8fc9da4a636155d4693d0f1f85cd40cbd01b821
f41b3316ae144097e02962efacd83afaa48a6a08

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
f43caa9e5e417d16de9ac31da220529d0a28b7a7
c0de3a72380c3ab1b14c971396752f50c590bc0d
6909701ff83b9cfcac7c9dbb2d4fcb1b2ffc4b1b


