# isabelle_session_info

session_name: Bertrands_Postulate
sources: 8b4c0cfae45dbe0cf4c2cedbd19bf4612d5f0b71
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
5823237499f8a3215557a28ba1b272a2c1cc4d7f
6b06b85a1db8ea78bd3b5baebffe4910c703cd14


