# isabelle_session_info

session_name: IOA
sources: f6cd8485511a3bef9d84fc0d24a87b18fea183ba
input_heaps:
339e0b0a0e94b9d23409a39db2839fd5b5739adb
7223a464d26784c3ed2fef948a679de14fae3487
496808ca0416877b515f800a699614fcce8d5285


