# isabelle_session_info

session_name: Codegen_Basics
sources: 8a9ccac21d4f03ef19b07aeeb2f40a12bc6a8684
output_heap: 43402481ad3db9d4f7b2ec0bab0d4c60601d1a9c
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
13eee65bc2c09ea580fa7142d5900818dc646c9d


