# isabelle_session_info

session_name: IOA
sources: 59eb8856831aa7b808ad31166bf0c4e04c2a9061
input_heaps:
5e341a1d6191d9356afa4682b13bd70b1920f9d9
63f48e936253096d790243e19b2890f4bf58673f
517d03469148bbf25eb19d3eb7697af90896f555


