# isabelle_session_info

session_name: IOA
sources: 48802d847a59fa8cd572f834f27ff9722cb94e1a
input_heaps:
90cfdec0d87addbf47d3382f9c916158cdafeb90
4464720f6112547e5ddd8b507d4f8fcf7d12bdb7
dc8be132e1caea1c75137ea319a723b9527e1cc2


