# isabelle_session_info

session_name: DynamicArchitectures
sources: 86e33d71ee8d502b26d9869cc768e71eb7051f99
output_heap: 4c05e1d79d7533780d1492e21cf602ec2deae0a6
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
5259e2dea2674c3bbd0dff7545ea77936488882c
819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c
d8a2fa6ddab5ef7ef2f18f076d74e9e7d7df6a94


