# isabelle_session_info

session_name: Card_Partitions
sources:
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
562d636d00a59805c5124949c105325f55960d9c
96065b30c9db112cf55bcbe78af20aeee6033380
b3a4e52b308c1891fcabfd74c001324d923b0483
dcabbb53503a3dc92741a3adf05984a714be78d8

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
0c7edb2d22b117e5c82412e3846bae0092c48d65


