# isabelle_session_info

session_name: HOL-Number_Theory
sources: 4b7198868587a90d3031cd542a8ca8e128c511fe
output_heap: d0fc433ca2f54d1bb0daa65609e8229cf147e79d
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
1467beb77458338cbc52e226cf600bf2b42229a3
b5645891575e1183e755e925fb23e0b769445944


