# isabelle_session_info

session_name: Codegen_Basics
sources: 09f920bf9fc1e96113fe5ca6b0617bc75f326aa1
output_heap: 0813880980aab7e0710ad97b685a2766c7184960
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263


