# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


