# isabelle_session_info

session_name: IOA-ex
sources: 4875ecba0f7e402cbfcf15f91969d0263f8f93c0
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
a20ae71f22856b1683f32d476fe747cfb705bad9
1eb838f4c08490658bbecaa64fffdb6d19141b7a
145ec4fc44dfd20d0590e63a34cf872ca81b066d


