# isabelle_session_info

session_name: DynamicArchitectures
sources: 0a4b5c9542455e589efd52f2f0f766ae0be95304
output_heap: d423afb7f6ebdb948740c0559e4dd05dcc3eb5ed
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
d91ebb5bec0137839ea177dc3c1570f8edb1dcd7
9808394b3a91df7d6334fd08915aa501b45fd32b


