# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


