# isabelle_session_info

session_name: IOA
sources: 7e99b172835bfc973e3d4daeb68865802706d616
input_heaps:
2922a9760d947cb0cc8b078564aaf1bd2d436941
dae8aaf71c6c8be05abd6464d3201dcaafc60276
20c94ee66d7f721688d40454c944be00e262e7b6


