# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


