# isabelle_session_info

session_name: Card_Number_Partitions
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
1bc701f8eb6474e542db12a6b783a92904024b2b
34221437a109a5594ba7786476b5abb5979a2647
352fcd7b2fd91fb8f087b863fba8c3715e90f859
7062f6bc3330331442ee719da0d76412d11266f3
82fce86746f9061205d625fb926c1da3b71e3bc1
842fc667fd777ec640e145e7b6a5c8ff5ab0b768
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
be04bd4097d198048a83936accc0a0b3bb132513
c383796357edabddc47c7627b5fc5d4e2c910a46
d590558ac27bd56791168a8179e1e46d592628cd
db53f23c149dbea6f96962be995a01549beadaef
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad


