# isabelle_session_info

session_name: LTL_to_DRA
sources: 01b4731ecb6c91853cc43d11febe88d45db73753
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac
561e331e39c02d5803557b68fe3d36b848b7598a


