# isabelle_session_info

session_name: Card_Number_Partitions
sources:
352fcd7b2fd91fb8f087b863fba8c3715e90f859
60b521d4a49442848d2f203cdf6ba7990c1b8af2
be04bd4097d198048a83936accc0a0b3bb132513
c383796357edabddc47c7627b5fc5d4e2c910a46
d40af53e7a90ebc82ead3f10dd760be13a2f9dc3
db53f23c149dbea6f96962be995a01549beadaef

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


