# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
5ae92c9ceeac8139a751590f6a9bb4fb65e63cce


