# isabelle_session_info

session_name: Card_Number_Partitions
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
352fcd7b2fd91fb8f087b863fba8c3715e90f859
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
7062f6bc3330331442ee719da0d76412d11266f3
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
be04bd4097d198048a83936accc0a0b3bb132513
c383796357edabddc47c7627b5fc5d4e2c910a46
db53f23c149dbea6f96962be995a01549beadaef
dca6a62bf843f228c2ef7e88dbb6daefffb636c9


