# isabelle_session_info

session_name: IOA
sources: 02238ff16af9902472f93989479b2a0964c159ef
input_heaps:
033aeb80bf9e42a1e7357299354530b3714c24e4
64e4772cec7906cda71bcd7c2893a1bf904a976d
58ec7c0d5e23e01e60a5f01d747cad425a7978a2


