# isabelle_session_info

session_name: IOA
sources: 7bb93959dd8e93cc906dea9b58422ffc6e98e07d
input_heaps:
6c60686a775c17b128fd9cd71424693ae23fa627
4ff4ab262683e151508a9833c0dc0c10d1ef6532
868dfc7af604529f3dd7de5e7f1f2d5ccadfd923


