# isabelle_session_info

session_name: IOA
sources: 333071ecbfe5311364400a42789a0e794485edfa
input_heaps:
cac5d03352e376834a77ac05dd893fd2179d2522
021e215213850104e25ab568a4ae9421ef705042
2ae00d334ab42ae36003eb888c48beacc7a78666


