# isabelle_session_info

session_name: Lazy_Case
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd
sources:
11ea2782bc950d7ea2aafaeb566e961d5d2cd88c
c507e687bc16f65edb2064cef47dcba98c2c2153
e38cb200827b451df358d6b38cf2723a2802ca5a
e4428cd42871958b9af5ddd91e9e9df7c53360db
fab40782eddfbceed9e0b89abb6b1cdc8b902017


