# isabelle_session_info

session_name: Codegen_Basics
sources: aa41d09ade518a0f36f524793eaf2f4adeb660d2
output_heap: 8d7836d5043eebee9a62d499aaa82ae4f058c0f0
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e19fd855d79a722189e435995b1ccfcd1bca3848


