# isabelle_session_info

session_name: Abstract_Completeness
sources: 860300f14b830bd90d957edd25c41d4441676f7b
output_heap: f9e95776f3b1d3d181f130c54b8763e5a719028d
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8


