# isabelle_session_info

session_name: Presburger-Automata
sources:
210fafb134ead6df8a201241aa13375e0dc11726
504951e03def1231ef59554348dcafbf3b94cebc
7a9a2c039c2ea5522c08e9b93db04207f9558222
9867480b1678db383a4a6549e30e68d614e898c4
b2f4edb285b032131952185be87c56ee9c5ed2e2
ff9246c6638b424954b5e6b1e299c39d316e9e1d

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


