# isabelle_session_info

session_name: IOA
sources: 1ca378b1b7398f472f460983f20ab08a99caaae8
input_heaps:
bdf52547a2d1ec5238d42ba24f34b6bd872981ed
01b1e75e676722d36b9f9cab162375221e47186f
33a9af7a321b3b2572314abd5b2f0cd62f2327de


