# isabelle_session_info

session_name: Lower_Semicontinuous
sources:
86b65e55f934fbae00684093cf22aec3241178a0
9aa9e3a389752f3cdd86615a1d5f05e80d10f79f
a225c696c3e9d48f7c4f8098500d46711fb37700

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f


