# isabelle_session_info

session_name: IOA
sources: 3624a334f675332db8d412bb6018f39d647e1df6
input_heaps:
4842c8e44f35b38e84e7496d28f4c0448c77e9a2
424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb
acca94d101fdc92de25d95fd201c7d6e081050af


