# isabelle_session_info

session_name: Lower_Semicontinuous
sources:
86b65e55f934fbae00684093cf22aec3241178a0
a225c696c3e9d48f7c4f8098500d46711fb37700
a37c0ff6a586dc734eef0c613efe285630dd0169

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
abeae0cfaca798724f3a1b862a46ef1f7262f8bd
cadfd60bbd70ea043ffb5760ff880b18f070e51f


