# isabelle_session_info

session_name: IOA
sources: 9156c400b78c308894aeb0dddba3e36ca1ebdb83
input_heaps:
854150d242a026a9a55d66c1a84d9e6fcd361b2f
4058a9d1c4ae0ea2523ff722e5dba8fe58289abf
738ac06bce9802613f2c6da45dd13bcb90b312c7


