# isabelle_session_info

session_name: Card_Number_Partitions
sources:
352fcd7b2fd91fb8f087b863fba8c3715e90f859
60b521d4a49442848d2f203cdf6ba7990c1b8af2
7062f6bc3330331442ee719da0d76412d11266f3
be04bd4097d198048a83936accc0a0b3bb132513
c383796357edabddc47c7627b5fc5d4e2c910a46
db53f23c149dbea6f96962be995a01549beadaef

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


