# isabelle_session_info

session_name: HOL-Number_Theory
sources: 3bd1b5ec2290e0c9444c1f1bff81865b3ef4bdf4
output_heap: 7ce0cf5f44bc69c33c6597482590e70530419729
input_heaps:
0b7a87e30dfc0251c05aac2be967bb2f98663a00
1e5d70c6c381761a53f8c5bf35dfaac12e4e6a0a
4634df339a855a06ac1db56e7d183ffe07409494
ea5d9e619bf62623ee452a5ce2fb7073840e898f


