# isabelle_session_info

session_name: Sepref_IICF
sources: f2ecbd3d97dbdc4dcd7981e19b6f5e2d71ae1113
output_heap: 59bce4e2d5d4d0896e04adfb75b0f275d9ff1bb7
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
12649a17e11e52e82303dffa527eb1b96900c11b
bdaacbe7631196688fa8777e4438af40825211c1
8590a21e223a4b0331bae33f18fdef1a254c9f5b
09446b8c08f0731482b21006630074597740cd84
11b7e27972b20ccd794d8a48b31e7330903ba001


