# isabelle_session_info

session_name: Interpreter_Optimizations
sources: eb8e9ebd19db7ed530e7f4c0dcbbd25949f0dd73
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
9590972c396e5b0dff262f02ce20f1f1a40a48c0


