# isabelle_session_info

session_name: Abstract_Completeness
sources: f133cfe392860c74ffe358f49015aaf61b62f991
output_heap: a9455468ce55a47a55db9d3255c8da32f991ebe1
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
1ccdc5912b9f175adfafcf9aafc9da70fbebdc19


