# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: b94edf244f83b7ec99c6ece05750d60dfb792684
output_heap: c3cb8228dc5f170e59c8abef37f4fa2512e6ea1b
uuid: 902a7381-a2e6-4b0b-b61f-be0a74f2a245
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3


