# isabelle_session_info

session_name: IOA
sources: a51a1314944493193dc39b7c193a25c93d39881f
input_heaps:
1e21a38563f73ae1e71d122bc805ba19ae3a1e96
44b44dfdf804afe70e094dad95ffb119fe1510fb
1e70886f18f8cbef693338fddb2c82915e37f343


