# isabelle_session_info

session_name: HOL-Number_Theory
sources: 178b3c2109c1ee3b30e5ee5673237ec59fa8785a
output_heap: 59f49271970eb0d582becd8bc5bbc280a270f340
input_heaps:
2131b1cb46315d17e82a3677294e3138c3881479
d1f7a315b4429ff32f8c605d5e735ca3166c16ea
8604b3dffa1147e80d539ab2cfa27839c1123f0b
b990665b72e872d2b8d93d0d85a1d551032a4e44


