# isabelle_session_info

session_name: IOA
sources: 99971bc2c2b2434f994ff85170c5cab8a5d1e8ef
input_heaps:
7c385341d59add624f3803e0e2d207c16fcf2b8b
4343be3d37156aa8739d2cac200a596017930174
f4721408548c8a8f0d5ab0fc751a6de5d0f84271


