# isabelle_session_info

session_name: IOA
sources: 3176000716fb893275f3571351cab4230888c066
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
d32b67ad46e3370f7ad64c5a6bfceb2624525a6f
b8b6f01cd96ee1154c4a487f263bca771bdebf65


