# isabelle_session_info

session_name: HOL-Bali
sources: a5c77e816dfac0703c9cca8fe18258d025eaf9f4
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0


