# isabelle_session_info

session_name: IOA
sources: cdb7b7ecd38b60c045af12cb1eea51d31e81193b
input_heaps:
7430d2c0a1b08934e5f6cb35e5fe155e1341f0ec
144a96b403b56eb57a7d98fbcc98662a2732b6c9
99262430a75580c702fe3fd72fa0a2d5b29be0ad


