# isabelle_session_info

session_name: Sepref_IICF
sources: c590a7935496f2d6c6e9af73cdeff181e4a20c81
output_heap: 0690f518c4857ba8e7194ad6d8d21b5c50869e37
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
950ea4632527669f7c4dae144a0d8bd338d2ab61
59f8471b9eb28f8389d57dbc629325adf9ed0102
e06979a282f1cad2c8878efa0b6e086fca48e58a
09350559679a1c12698616b84a473e6a84c0e65d
cbd0039a6583c8f9ac43b6d93c34c95f78f1460c
176e0dbf85ccc1b90a8469915dffe0e59c64108f


