# isabelle_session_info

session_name: DynamicArchitectures
sources: 49da88a25e8b1d2a23e7e54ea4b1dee4b5e8c695
output_heap: 8b2e999c8e2bbc1c7f6536b36a50705117bd3eaf
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b
5d78552cb887983b70c3b7983c4c3bdb3374a7e6
61b574d0d2a40fa9435731230d8e8548d17a2f9d


