# isabelle_session_info

session_name: IOA
sources: 5ab53fc04800e209249f052dbb2e7fbde213bec5
input_heaps:
49fe4d0140f29b61cf1407e8018459339b5bee72
18021962fea9fbcbf99b9a3117b48e25bbf47f7e
1c80b89811afba30fba5c79812d649a506622f05


