# isabelle_session_info

session_name: IOA-ABP
sources: fb1eaf3916cf73e0202b20608d01711f02eb3b64
input_heaps:
9b4902f8e8c2cff8739e12b432b794bca1b63c5f
bd7d4d62ea14622c8855a61e25906a49ea079dab
38981e000ea0ec3d228e36d55bcdc8c74374da68
a1f32e61447d464d21dcca638a4c2be9b8a1c349


