# isabelle_session_info

session_name: Datatype_Order_Generator
sources: 037a670e3c621dd1655429f605aff86112b833f0
output_heap: 4896b67d27e8ce2cde95db89fe81b6a99320a13e
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8


