# isabelle_session_info

session_name: HOL-Number_Theory
sources: dd0ed6ad9312b08e4b9ae80675124399f4b8f4de
output_heap: 650d158ad8b8f7c413b6ac3491ee14860ce80093
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
9b8c9cab83535305bb7ec47115f62b016b968e85


