# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5d2a119b49a1b1ae91f44a5883fca9ce8a5341aa
output_heap: 8e73a26abad6606831aeb602f4a28732cc1748ed
input_heaps:
ca6ca63703b7463f34152f8ebb45f6a008f4a8fe
54f50399e87a773cc8b9758fca963ce4bc667198
fc34e090861f45d52d6b5f73ab3d925107324dd8
fe6fa1289f8c7a121fff297fb241cb69e967e373


