# isabelle_session_info

session_name: IOA
sources: 0949e0a5dff5fd1a8d1791f362d2101500c5c3f6
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
3de0747a3e437ae3effbdb060d8e4514f50343a5
b08f36ba52797f25ed5382eeb9e679e2915b7261


