# isabelle_session_info

session_name: Bertrands_Postulate
sources: a53d04c73394f0fadf058d22027889ae2e09cb47
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
c8d68aa4c900a2002b0247eed5bfbe292ac887fc
55835f26adf16cfef04958e502e85dc74ce5b0c4
4ff9f2458e8db0400990da9ed40d733389233181
9ea71971e739b125fe58597212f16162e0695bf5


