# isabelle_session_info

session_name: Codegen_Basics
sources: a623c9dfe7f56cb790e3700acf2de60e6c885d1b
output_heap: 36f8d833293cc46ac325a5365cdd8b506b958123
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
3653d2dde4cafce91f7a86412f9a6c796dab12b3


