# isabelle_session_info

session_name: HOL-Number_Theory
sources: 0182c1f82b3ff59e2a7f274239d29fc6b84fbf33
output_heap: 53cbef31f85030e1304a5bc4d4c8e39f1c164d29
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
999dc9fb1a79bc2556ab1fa66a674af162d487f9
6690aad47960acfb244f115dfa7715784c8a62c6


