# isabelle_session_info

session_name: Stuttering_Equivalence
sources: e85f8f867f8de40ddc7853e0933e620f74607294
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48
98925a7042098240255806492eca81592bdb1a70


