# isabelle_session_info

session_name: HOL-Number_Theory
sources: 55889ce18f414245c3b128501c902d9f039784a8
output_heap: d7a22d638196087cdf2d869931d568bfca23f24e
uuid: 090e6f08-9386-4319-a87e-be6e625c89ef
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd
9d0f64d358f28b32135a64e68378ec8c0549f7e1


