# isabelle_session_info

session_name: IOA
sources: 559af4a481ff401142f1498704959e726e3fa314
input_heaps:
a065929dd1485620a1fe2ad1ab24aa44d802e5d5
ede8de29f8f7a2c7b32f6204d128100843065a70
eba240b5c371464b5124e0d2401df7c847eaa3de


