# isabelle_session_info

session_name: Codegen_Basics
sources: b20d74bf67c91e35fbb40787a88d2d8d97654ea8
output_heap: 59c697b5ea182de24c818b6ce7db9971a1a260a3
input_heaps:
31bf4bac648c51f49408130bf9489829be3fa993
35508bc2877195b4acaa6a24645b77282ba20bd1
335fd30c7bba826813aac0fb24e7ebb1383cdf29


