# isabelle_session_info

session_name: Card_Multisets
sources:
17121d1b0efff645d67c12f006d70e5e1a0ff510
4e088e08c0220b4790102182c8fc0942fe6b6519
6d78510687836311fad9b59e5b1570f50411836b
dd88f7e0a6539bc051c8f084e89ecfe207dff28d

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928


