# isabelle_session_info

session_name: Lazy_Case
input_heaps: 70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
sources:
11ea2782bc950d7ea2aafaeb566e961d5d2cd88c
a57b0aa19bd4b3806c01ccceb51679d9d8ee7c34
c507e687bc16f65edb2064cef47dcba98c2c2153
e4428cd42871958b9af5ddd91e9e9df7c53360db
fab40782eddfbceed9e0b89abb6b1cdc8b902017


