# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 7318b5601fcc96c21b0429d8b16b9fc70ece9231
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
500758f58f2182ea3e24069d3de635f7be4c4ab0


