# isabelle_session_info

session_name: Lower_Semicontinuous
sources:
86b65e55f934fbae00684093cf22aec3241178a0
a225c696c3e9d48f7c4f8098500d46711fb37700
a37c0ff6a586dc734eef0c613efe285630dd0169

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
c43a68050ffee06faec10563bb7ffc2d737fd7f0
7ce0db48f01026ebe144dff7adcf4aa7d9776819


