# isabelle_session_info

session_name: IOA
sources: 4c4f5c5b254675f30d0b9142c40de3ce5125293a
input_heaps:
b564835b5b464625a1b82b42a4c3075166c320e5
d2bcc57ca57fbf38c0fde973297a2a4eadc893b1
e418bf995ed6158183ffcc92fd3e0897b162beb0


