# isabelle_session_info

session_name: Max-Card-Matching
input_heaps: db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259
sources:
30a41abd6e58ffe1d787194bd4e56a77da64948b
3e69d5c27fdcd0e2463c75466d06f454326e7edb
d585fe33c3552c5c7fcbd581a7b9807747bb3947
d641098d25277dbcdc0ce893e27ca96a663b6cc0


