# isabelle_session_info

session_name: Presburger-Automata
sources:
0ea245c8b56f4057f8527f977f26dd3eb3888248
210fafb134ead6df8a201241aa13375e0dc11726
504951e03def1231ef59554348dcafbf3b94cebc
b2f4edb285b032131952185be87c56ee9c5ed2e2
dec66a718536ca4412da909ce223c281e620357e
fdb50092aafcc078d0aa224f447d321651817d28

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


