# isabelle_session_info

session_name: IOA
sources: 61203cb8a46fc64ace1d609abe0328ead424e76b
input_heaps:
f722b87a2014eb7befffb2473c23cf2102cf8792
4e20d4df64b88f151e3ac397cb2e54e54fbe7a26
a1e0282438285cfc789dfcff2eed710a4162331b


