# isabelle_session_info

session_name: IOA
sources: bcd70d8ae57f073ff1004304bff1643a4a61279d
input_heaps:
3c141932b8eee55445640dd8de30189be8d63237
43760af647e811dec05d47112055a1bf84003ff5
0fc51349bc5f7c62cca886250001c3b59f6a28d9


