# isabelle_session_info

session_name: IOA
sources: 678b90ad88eaacb4829e6ac9c8dcd585abe3369a
input_heaps:
04cbdab1f686d7eea03656c087fb6cb51858d69d
f912c7c4bd035c878b5878ea5c558fa4f129fd49
cdac2db49045fa98afeea286ad1cb139317576bb


