# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


