# isabelle_session_info

session_name: Sepref_IICF
sources: 4a9e4b7c6136b38110713152e3bf59f9fef39747
output_heap: 45098b2b6277b1d020573fedf8aca5bfd58394f4
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
48f5e92669655eadf836376133942ba1735ecfbb
be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f
c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e
87bac576e771a9f5831917f2060c142dc9c6e504
b4b72f8b5bd3fe1f3d9c8a06ed37ef9997e7bc16


