# isabelle_session_info

session_name: MFOTL_Monitor
sources: bd3e8852421b02cf65dc5af6731c640f4e2c27d2
output_heap: 75e322ad860fdd406843a45e00ee16199b2b0152
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
190009264d8f4be60695911a09d497c532418360
760054f4849fa8b051e7837ddbfccf4f9854cec5
2098c308f99e1f54023ea3339cda9eb7ef420bf7


