# isabelle_session_info

session_name: Card_Multisets
sources:
17121d1b0efff645d67c12f006d70e5e1a0ff510
6d78510687836311fad9b59e5b1570f50411836b
dd88f7e0a6539bc051c8f084e89ecfe207dff28d
e709d6f3dd08890d3d2aa80d133b40f3b5c8ac8a

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91


