# isabelle_session_info

session_name: IOA
sources: 6422fc30d4344ce46f7c9150a67a5f1b20720a89
input_heaps:
c6b09fa39df949bd17c25111c7a89bcc62196e4a
9487e61ad16d751721567ee8d71a9f38dd441909
b62d3180939f75ceba59d595640a5697eaf61d3d


