# isabelle_session_info

session_name: IOA
sources: d49a9d6345818a76291ecd3fddafd046ef751801
input_heaps:
1557763c55026864eeb1fbf92ab3ec60267ee348
5cf7dad23d1e903fd6eeee54e5217926f169a0e4
16571d71b355980d7204c9c0918c4402fca75ed9


