# isabelle_session_info

session_name: Codegen_Basics
sources: cf5b385ad6dbec3ab3df6e79b40d9c6c1b608b84
output_heap: 2763d14bae356094c47bbf3b9d085f6a81aa8e23
input_heaps:
db6f05ad5884c3d4b639d9f4b203792d5968e568
8f4009a03cb4dc8972f8428957511cea3c656c5b
a57efa7649a3294a1a9152df50ebf74ad2bf698c


