# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


