# isabelle_session_info

session_name: Bell_Numbers_Spivey
output_heap: 25b21338ab6b6099f4695bb3f47bc5f8c1f5350a
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
383dee4bb60284cc7229af5017def9c12378879e
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
6d1501cce1a74aadd14244becb041c4f8097c20a
78ac49fdf85c3de0e4ab96373bea0400a0ec45ef
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
a629e15b2cee69643b96ed2aea13283f80fde31e
ac7a0d9020723b856d38d690ee81499c882c3c3e
b41140e5d7a2407a8156290a73a29fa981dda49d
c0b5decf7346f9ae8d66b5f48791a6361cf102f1
d40af53e7a90ebc82ead3f10dd760be13a2f9dc3

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


