# isabelle_session_info

session_name: Abstract_Completeness
sources: f56b1d91f1690a85ca7503efd4673e50372fe63b
output_heap: 818687d8ff2f90e13de8d7366cb59abbdb2d8b49
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
767fc67378b31eb70f2963c7c52b27cb412fc8af


