# isabelle_session_info

session_name: Lower_Semicontinuous
sources:
48fdb4548fa2be9c6ad835a63debb9180cfa233d
86b65e55f934fbae00684093cf22aec3241178a0
a225c696c3e9d48f7c4f8098500d46711fb37700

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f


