# isabelle_session_info

session_name: Max-Card-Matching
input_heaps: 19db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
sources:
30a41abd6e58ffe1d787194bd4e56a77da64948b
3e69d5c27fdcd0e2463c75466d06f454326e7edb
d641098d25277dbcdc0ce893e27ca96a663b6cc0
ddef40493903ee94ca003371093b4e547f468f75


