# isabelle_session_info

session_name: IOA
sources: b753457b64bb171cdd409544aaaef62bcf5a889d
input_heaps:
c68b30ad566b49580fe13839f7a432f3076bf46c
c261812e8cc579b00fa6c102259eafdf6ed9acf2
e7c80dafd6a23debd027cd47a8bb92800ed2f52b


