# isabelle_session_info

session_name: HOL-UNITY
sources: 048f8bb63a14503f764154246565651daae5578f
uuid: b4ba6e86-94b9-4112-aaf1-2094cfd7ce15
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
99e8bdfec9c7f71ffb604025307abf7428c864bc


