# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 14dafe31d9f95fa64c4aefd616844f882fe41937
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
6cd99a4bc2db396769088b4c57931f790f1ea3ab


