# isabelle_session_info

session_name: DynamicArchitectures
sources: a8f8da09f5594d4af9c1b461a7108e7be9b3f79a
output_heap: 23848ac0e7a4653b074e58a4cde878acb718c54f
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
d60d9d5b06dcc91155fc420476e9f83938af9887
8b9aa00a17e51e5c3a8f85ea01fe1a64bd3ad4c4


