# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 63c4d7a03e5e5723aba6eeedb6caf43e4e4ca727
output_heap: d8a5d927e9389799a9b9dd513a7246282032ce84
uuid: 3756707b-d910-47d5-8f85-7418aaa5a212
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce


