# isabelle_session_info

session_name: IOA
sources: 0ebce3d639d687aecc6fab92d3da5e5b21ff3cc9
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
42195d8ba02cebb1625159503d463cc779064425


