# isabelle_session_info

session_name: HOL-Number_Theory
sources: e40b5d642343f85fed999706fd51789a3322f1c0
output_heap: 46f16c2fc3cda4ec57ee37e51ce029bf53ddfc68
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0
72fa036d0eae04f605be92ed0740d083d168190b


