# isabelle_session_info

session_name: Max-Card-Matching
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
30a41abd6e58ffe1d787194bd4e56a77da64948b
3e69d5c27fdcd0e2463c75466d06f454326e7edb
55e57c3095dbfafd876576fc04050389c0654f07
d641098d25277dbcdc0ce893e27ca96a663b6cc0


