# isabelle_session_info

session_name: HOL-Number_Theory
sources: a3442f9da0bdfeb2a57b26a8bcdb00209e06e0c7
output_heap: bf9b0c3479c8dcda2b9d555ef4fdfa7e2664f818
input_heaps:
9400524a2bf0062e34657c8242e59e39ce561b20
8112b346d345fdd1df303f366f2308e1ad40a1e5
0cdf6980063fd1aa93caf0f2c103ec507c60d585
b45a70c87aa9074dc5c8f3bd546eb3ddf2a303e9


