# isabelle_session_info

session_name: IOA
sources: a95b12629d5a482d6c64989822a18bb66b461675
uuid: 3d361ee7-6d96-444f-a41b-03dd9c72e5d9
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
0dd135ce1b974decd0e808679a61efef13cb334e


