# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
2efc0dccc56cc34050cb52218a49885e291cfcd7


