# isabelle_session_info

session_name: IOA
sources: 189c69dffde3bce832ab718eef33eb01f93379de
input_heaps:
5dc24187b4e0df60f9621177f28d9a6d6e19dc92
078a3b8dc919d1598856aad1a05d175f1dff501a
ed66444f0d6307498d4b6c5ed9243587bccb9571


