# isabelle_session_info

session_name: Forcing
sources: d64a188a81cdfec654f32714b30b34b20642e916
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
6dc008a47dc38741eff6524e8d39c6e961d93dc8
9424cd7efbb05bfa8340ae5c849d2e499228dca2


