# isabelle_session_info

session_name: Lazy_Case
input_heaps: 238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c
sources:
11ea2782bc950d7ea2aafaeb566e961d5d2cd88c
12719fa2fb7224cb03c4e2a58a2d700040c1f8ca
c255f9d32e499a26a4686af2a11549f196416581
c507e687bc16f65edb2064cef47dcba98c2c2153
c7805014580767ba9e7216f84528e3b788cff5c6


