# isabelle_session_info

session_name: Card_Multisets
sources:
17121d1b0efff645d67c12f006d70e5e1a0ff510
975879e09376df1ceb042760c1c648b8ffd6c8ab
dd88f7e0a6539bc051c8f084e89ecfe207dff28d
e709d6f3dd08890d3d2aa80d133b40f3b5c8ac8a

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


