# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5460dd16f380839c6f119c29ccea1ff566199006
output_heap: 5a390aa64dd61785ec3ce7282d77013e0ee96102
uuid: c3394ca9-f8fc-4403-8d31-4086df4ef9e1
input_heaps:
69be247dc43ecdde6ec938bd8fd1f08b57428e94
a98d9216082127df82717ef1b3320db859025f77
56a147a0185cce5160f925d498ac13dd2eacb7d3
f2b3285bbe8a09409ef2432440244fedfed04405


