# isabelle_session_info

session_name: Card_Partitions
sources:
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
562d636d00a59805c5124949c105325f55960d9c
939ea6141fead525adbaec158b2293ec21c651ba
96065b30c9db112cf55bcbe78af20aeee6033380
b3a4e52b308c1891fcabfd74c001324d923b0483

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
afb6225601125e62a5bdd05486cdf4eba0a28d60


