# isabelle_session_info

session_name: IOA
sources: 2e3595f0e7ee3bc344ab0be98173b4682f64c367
uuid: 6735984c-00d4-4361-83ed-2a935c32ed21
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
1445ea1a4982b59316f64a407043487a267fdccf


