# isabelle_session_info

session_name: IOA
sources: dc8eb2c93b782dcf399a4dd129c01b6db7e3c523
input_heaps:
5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362
8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d
60b97236a79cbb7f2d614b1d07543538d2829764


