# isabelle_session_info

session_name: IOA
sources: 0e3acc8bfd67b1fd48cd29a17d5f67b77faa3965
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
b2ad7e11878df9fa49a424ae1a4181f1bc3ecc82


