# isabelle_session_info

session_name: Card_Equiv_Relations
sources: 8f32bfdc65f0da7af2735316bd145f65046b4150
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
1a298acf65fb27287d69b79e5623fc6ffe185b72
3915d8c292f42829a8c6d442c88b64d26a840b72


