# isabelle_session_info

session_name: DynamicArchitectures
sources: 9a5a9627849130a7f868c9928743c2ca7cc96e2c
output_heap: 3e695449982db7daab242a37c703c1a4bdfc761c
input_heaps:
2f45ef79d98bf4791ca25c4e1af3b76b517203ad
1b41415026d3583c6b6bb0d2ec2995e8feb75528
6dd7123fa75097b18d3135622d27b8f5daf5537c
f3c772adc1d6e37ddc8b7b6af2e3df495f8f55ee
4d1f2d7e5c6746d05662329ec4b7e99c1bf8fbfb


