# isabelle_session_info

session_name: HOL-Homology
sources: e06d30779e218b2dda0a495d5c2f29ce7e4f7a87
uuid: b75f7381-1fd5-465e-bb9e-4733922ef541
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
19a7243e01106dbeb64ffe83032c33db3c717be6


