# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 57379b4ba3464921418a69b0ff13da4d5a233547
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
8dec91fb776e1454bcd259b128d2077a5afa959c
3169d182f50bd5655d309c9a02977506b4b6f2e7


