# isabelle_session_info

session_name: IOA
sources: d4b705cb3ebc5a429d7d07cd7b5d73acd71704e6
uuid: 9633b775-a4e6-4a8e-9bcb-37104a09110d
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
58940efb45cac14c66af7bc1fa8bf73af419ebeb


