# isabelle_session_info

session_name: DynamicArchitectures
sources: b47811a04f0b681a2dedca8cbc7133201d73c9a7
output_heap: b6286f930e59d99a3adbc6706edd5f27442a780d
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
5522f74f6abb7699e3a05bfbe34b90d5ea35222e
344fed73de9ede911b12e2876e43d2344ffa4380


