# isabelle_session_info

session_name: HOL-Bali
sources: 7935a7a3a63a3c85d60a61ee9ce35451b5a6f852
input_heaps:
13c804e8da8a74f383295a6bfe0c4311b16f8b3d
3638ddca034a61397c1cb22b68500e71420bb98c
3502ae365efdf531123a3f7110e5b1be554c347c


