# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
5b852d46d5526957b8708d83a8553c0e5d8f8b6e


