# isabelle_session_info

session_name: MSO_Regex_Equivalence
sources: 6905861cdd9705f3956476eb51c57f311af92bd7
output_heap: 1c2a3b6c6d20c693384718f865ced1b2149e98cc
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8


