# isabelle_session_info

session_name: HOL-Number_Theory
sources: 724cca41a6b43e19ef0541a1c72f8fbfc61b790b
output_heap: 23f94518b0919dd764e8281d973d9cc1d1c87fde
uuid: 7fc88961-33a9-4cd7-8acf-9a53c521bb62
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb
70097e731790c8093f15680446addab8f80dfe04


