# isabelle_session_info

session_name: HOL-Number_Theory
sources: 7d38d48b5fed98340b54e330af3051a93a941206
output_heap: 9cc7a09e8683ca4b8242bbd2c61ea50114a5ebc2
input_heaps:
0b3eccfc941914cdec8da160566279ceaec47a32
11c84b6c962cb2c835a2796f64ee7e8c5da18a74
8a1990ae2e39700398773817b13c8e23b077b8b6
f7992d62048b51a90c473c0a88fae1a469fb6279


