# isabelle_session_info

session_name: Jinja
sources: 6bb4e18dc303083e03d71e52699bb495b5f25004
output_heap: 8ff325352a38c1ca485a328e3bbf63052b1d2abb
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04


