# isabelle_session_info

session_name: MFODL_Monitor_Optimized
sources: 3c8c4ae4a9a00db9985be1cfd3abfd10fcd63ee9
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
aaa7925b44a17790d4185a18f25b21f724e0cb8d
7bb36992be6cdd7b620c040b1d64f766735d3fcd
c6f5c904eb4c64eb539bf36e76ee73acd54fa0bf


