# isabelle_session_info

session_name: Jinja
sources: 954a9996f68ad8905e19d6c003b8d3d94b0eae91
output_heap: 253dc27bccef965091045540d659b63012899972
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
d11f8dd5f829b9716e349208ffcad761664f9cff


