# isabelle_session_info

session_name: HOL-Bali
sources: f257fdf7c13d82a200ca7cf7e1f96451349ef950
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
771d3a59b10f66de11250785c5bd7311fa4a8612
fab52d600a5e7277c82c2b29f626f360e64d282e


