# isabelle_session_info

session_name: LTL_to_DRA
sources: 7817873de2c74e0368fe26c1cb1328f54ceb16e5
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
5b3ffaab1fab0b7a34228338bcb10fdeae0e4e84


