# isabelle_session_info

session_name: IOA
sources: 36ac00436a0d084880c8dbcfc004583a55235433
input_heaps:
43c7be6fe13329de6d6a102e9f64126d9c7b89c8
894a67f4e6318269dc9aeb1a75f1b806f92e5710
d9855b8120d2d9e783c06caf5fd6a7b0aced8d35


