# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
bb14ee82ea39c4259697f185086264045fa1e0bf


