# isabelle_session_info

session_name: HOL-IOA
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
17d4bdcbc3732afba946b9e132a42f895e626d76
4bf14543e74625e7d98554527128b5fcd79c1e54
731dfd52e97e0579254e21771f8e738ecb355525
e201918a65f6bf556c21c846b06edd560f25ed4f


