# isabelle_session_info

session_name: Card_Number_Partitions
input_heaps: 70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
352fcd7b2fd91fb8f087b863fba8c3715e90f859
7062f6bc3330331442ee719da0d76412d11266f3
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
be04bd4097d198048a83936accc0a0b3bb132513
c383796357edabddc47c7627b5fc5d4e2c910a46
d960ed51846a66cf16fbdc1477880036171d60f8
db53f23c149dbea6f96962be995a01549beadaef
dca6a62bf843f228c2ef7e88dbb6daefffb636c9


