# isabelle_session_info

session_name: IOA
sources: a2139d3da9a9370a60e6f0e685a71c500bc2ed6a
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
1e913efe935f4e0ac625375b8605cfff6ab199f1


