# isabelle_session_info

session_name: HOL-Number_Theory
sources: c05ebe6fa8c86386f38a389014377cbf6f1c1ba2
output_heap: 24bf555c26992d408700eb24d3f5893ff1b7dfae
input_heaps:
06216b8b188761bc4735eeee17ccf22af58f1370
65c4e321467d91d814c74809d842b13fca277d24
85734b6afbcc72f52d678bb9d9cae136debb4eaf
cc930c9b8ac0b46972744d076cfeb7ff81571802


