# isabelle_session_info

session_name: IOA
sources: 8d360ec90f67fc844a3b55b1ddbb76c04029e5aa
uuid: 46ba1f81-e167-4e0f-b8de-1a5d1ea67e7a
input_heaps:
d0b0e1d3fca0543fc6f2e2fe2b9feb4c06e18beb
e4e0d8e376269bf7d8c3cd64976b6a6f15d0983f
82ddc90e04539f77a4e84753c6a4707b542195d2


