# isabelle_session_info

session_name: Stuttering_Equivalence
sources: c28899918ed3fb6cc141372bec391652e0b70ce0
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
2e2e34a4bb56bf2da225e321633b9a0a9fe2bde1


