# isabelle_session_info

session_name: Card_Equiv_Relations
sources:
2611971cd215ee8a293434d7467475de6c036fd3
30ab1ce6852e2208bb3a7cf668ae97723f49331d
5e720f8583f95aeb24b560f17e3bae61fa49c8e2
b3cee98135c471763b4ee83c0e90b9b0dc6c7b57
c471263abe76708881b70375b7e38a8eff1a724a
d39364dc9397d236857349cde7735a1aa5504bf4

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
2b46dd4eba079fa3ed978095f553b799dc4b2e6a


