# isabelle_session_info

session_name: Lazy_Case
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b
sources:
11ea2782bc950d7ea2aafaeb566e961d5d2cd88c
c507e687bc16f65edb2064cef47dcba98c2c2153
c7805014580767ba9e7216f84528e3b788cff5c6
e4428cd42871958b9af5ddd91e9e9df7c53360db
fab40782eddfbceed9e0b89abb6b1cdc8b902017


