# isabelle_session_info

session_name: HOL-Bali
sources: eef87cd23455d40eb6e23ecc26572e2229906139
input_heaps:
357008b0b2682019b352f15558029e5fdc78e3cf
6ed366e7eed5721240602f54453f44d2f0e04ea4
52f61a365cdb0bcf46a3239eb16f67f805f07d53


