# isabelle_session_info

session_name: DynamicArchitectures
sources: 943ef5353e7ba466fb390cbec5ea46fd2dd66291
output_heap: 751e739bf8ff8e1e6fc84f4c6301c57318c93286
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28
e0e7ad065ec4fccda4242415c105a2ba694d43ba
c71420e96f3c0598f30605377595a6de28d4492e


