# isabelle_session_info

session_name: Lower_Semicontinuous
sources:
86b65e55f934fbae00684093cf22aec3241178a0
a225c696c3e9d48f7c4f8098500d46711fb37700
a8bdee2d7ad75c69e134fbfa50a67c7848c49242

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
e96a53ecfba8c901425ebc6abaf9d1ab1381c1f6


