# isabelle_session_info

session_name: IOA
sources: ab5745e33cadeba47e4554c4c6bf01661c21b38f
uuid: 0aa7cf5e-ff90-418d-b117-9a846ee5286a
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
0bf1ff104c94c303d4b5c0c83ed4093c08d4efef


