# isabelle_session_info

session_name: Card_Partitions
sources:
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
562d636d00a59805c5124949c105325f55960d9c
5d2e42c1e1ceab12f008a25b4a95340b74a91a37
96065b30c9db112cf55bcbe78af20aeee6033380
b3a4e52b308c1891fcabfd74c001324d923b0483

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
fed03e46477421bd781b2601ea881a3918f7dff0


