# isabelle_session_info

session_name: DynamicArchitectures
sources:
263443fe3ebffdac060f5153b3d13b4a04a595b0
28ba6192ad0eba9cb1fab6f2d7a8b94efcdf7555
8419e4cb26d949a1c43391c10979a39c70584bb1
f7ab05af62e85406bd9c75086bc17ea53e6639b7
fe6b76844b93f839a8a286fb51f5689d7ef059b1

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef
9ee976f25fde6d06c8ace3aa9617694fafb23e57


