# isabelle_session_info

session_name: IOA
sources: 94347d21d7c9b13ca6b7a8a950cd308684e486b0
input_heaps:
345c71dbd7a2fddca696d9cb71ed92270da5f86b
c87562c1061a2ff11d10f9e0af39c9aaa81a6c46
10cf7a595fa2a16c59fff3feedde689d6743e991


