# isabelle_session_info

session_name: POPLmark-deBruijn
sources:
20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e
37694fce0e46077c125a67bd1e7a07553ab3dff0
3fe6b6208cb2039d2efcc275e00a493c5bb2a662
4173f2b40848e3bf6f8ac91aa0fc719a39daf67d
4f80c40e3ec199d35a5b808a47d454acffa976c9
b4855cb804f992d2d2901784c628e661458ae39a
e182e99baf7942014270841b40355e1416b27ed6
fc61964320106a1d5751e716b19965af3ea01079

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3


