# isabelle_session_info

session_name: HOL-Number_Theory
sources: f29ccb99690ea0cb1280cd813732b853ff9ef2e9
output_heap: aff71025e9fa1edba9a19715a8b461e785ca321d
input_heaps:
159773851650ac68d3c2cfe38c048d4c887c247c
f1609948a6431f29c3e36d835a829345e7d4b3a1
b04535d2712ce58717caa008c61d08b556175234
a769e91c7f8d76484bfc3d9fa139b28a0706d544


