# isabelle_session_info

session_name: Card_Partitions
sources:
2db5d820e2315d27e7eb764e61ab1aca5aa370d2
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
562d636d00a59805c5124949c105325f55960d9c
b3a4e52b308c1891fcabfd74c001324d923b0483

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
e706bbc8bc752c2fabd5acaf08d6ad9748654df4


