# isabelle_session_info

session_name: HOL-Algebra
sources: 195b4c9b46d5227e2d39d671adf7ab4cc9d35f54
output_heap: 0b9483705be5f6ecc861ad0c74b92ce5bb585504
uuid: 615b3258-f8fd-4877-a2c0-63376b1f0553
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
d245a36e09f03531eb97ce9a3761aef2650c474a
082363f40ced7abb9763bebc6a8e1983bb54fe25


