# isabelle_session_info

session_name: Codegen_Basics
sources: 50cc9d011910e586db11b6a26a6f5c69c22f74c9
output_heap: d70013da7d3b9f63dcbfd26f5fa6a4d13793cd55
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
d917d16ccc38ba570c12297f3bb3196d70f93486


