# isabelle_session_info

session_name: Stuttering_Equivalence
sources: abf8d09ccadd0e0f858c5a856372b97a75f38d40
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af
eea83749a92b03895e90cc411c2f1a8f0771e427


