# isabelle_session_info

session_name: Max-Card-Matching
input_heaps: c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8
sources:
30a41abd6e58ffe1d787194bd4e56a77da64948b
3e69d5c27fdcd0e2463c75466d06f454326e7edb
d585fe33c3552c5c7fcbd581a7b9807747bb3947
d641098d25277dbcdc0ce893e27ca96a663b6cc0


