# isabelle_session_info

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

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c


