# isabelle_session_info

session_name: DynamicArchitectures
sources:
2dc4fae8b120d9594302d3117009e1783e70ae32
9cd24633d9a15ba712db647c3bcbeabed496316b
e909be8cadb8d9fb36fd6b038e8e99244c747f64
f7ab05af62e85406bd9c75086bc17ea53e6639b7
fe6b76844b93f839a8a286fb51f5689d7ef059b1

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
0f274b86b2665f3e8fc4c8fb05d48c2d1e342654


