# isabelle_session_info

session_name: Stochastic_Matrices
sources: d7010cab51de07557878218aa0395e1dc0bf6ec8
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
52ddbfe09c255e7c6906b2f5686e64c16948899d
7c476fcb110fe19ae17c7725b4fd7d91722a02f6
512ef0c77322c6e09c9cd85271a67b43b30d2985


