# isabelle_session_info

session_name: HOL-Number_Theory
sources: 81aa43f0d2e63d1b6aaa8a495cf103829667d37e
output_heap: 0abb71c585cbcd6b82ea3c66e3142ecf48f3b196
uuid: 596d5359-d7b6-44d4-bb15-c7f1e5c96102
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
d32428f0d0951a8172726af4fc09c4ef986a2b00
e717eb88d9201000411133c3ec3561a398651885


