# isabelle_session_info

session_name: Card_Multisets
sources:
1103b85a692b8a9c433eabba985345b7ab557a79
17121d1b0efff645d67c12f006d70e5e1a0ff510
dd88f7e0a6539bc051c8f084e89ecfe207dff28d
e709d6f3dd08890d3d2aa80d133b40f3b5c8ac8a

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
278d3a45d56163c7a0a92ad467d4e69c490882ba


