# isabelle_session_info

session_name: HOL-UNITY
sources: 01ba539de8685790d3dfaf964e5e0889a9f95bd3
uuid: 41b0a14b-c524-42f4-bf84-9e6bbee0a5f4
input_heaps:
363cefc9c3ab9f434f73ff0aa175a2b3a649e93c
4bfee1ac9b5705115c0fa4fc347562a6dc3bfbf3
b6828b1765c82be89cc4ad03af99d8b386c1185b


