# isabelle_session_info

session_name: Card_Multisets
sources:
17121d1b0efff645d67c12f006d70e5e1a0ff510
6d78510687836311fad9b59e5b1570f50411836b
88bb82c696e9f8c1993baf814aa8dc1a6705f83a
dd88f7e0a6539bc051c8f084e89ecfe207dff28d

input_heaps:
572ffb81f80d42dc81f45d244b15c5381a012b24
e2861874690d29a1b715dff597313b9f4e7e36eb
ee5c344e484cb4571a3e30aa2acf3579a09d76f8


