# isabelle_session_info

session_name: IOA
sources: f8b140347ca0d4e88169c4180c0db788cc44e4e9
input_heaps:
56dff493c54cd66b7db0c38a40d271b408a414ea
15c9718b35bbebd57dd2cb739566c2d7a0f9df58
af50ed06a49fbbe81f325a335bf777e1d61ff156


