# isabelle_session_info

session_name: Card_Multisets
sources:
17121d1b0efff645d67c12f006d70e5e1a0ff510
bb5ba7b8e15c28756f5be83cffd51a7132c5aca6
dd88f7e0a6539bc051c8f084e89ecfe207dff28d
e709d6f3dd08890d3d2aa80d133b40f3b5c8ac8a

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


