# isabelle_session_info

session_name: IOA
sources: 533f285aa18ac52105d84ef7b1adaab22a79bd70
input_heaps:
69aa70f16755536fb90c293b8cf6c5f43ac275cd
5f526e0100e302c086d054bebdbf267155c91c44
8fdf308a9d52c4b35ca792085cd08382ebfec405


