# isabelle_session_info

session_name: Card_Partitions
sources:
2db5d820e2315d27e7eb764e61ab1aca5aa370d2
562d636d00a59805c5124949c105325f55960d9c
78ac49fdf85c3de0e4ab96373bea0400a0ec45ef
b3a4e52b308c1891fcabfd74c001324d923b0483

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
38b95661cae1d139f8af19365c090813e30d7170


