# isabelle_session_info

session_name: Main
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
1930c3b7c20d9797c64aa918366ea5bc9f263901
6df45adb981e08f68a827206bb1b05ddbd152746
8f194db846e67a7e87b25a27fa8ba1259c4af82d
8f9ed0f15cf2dab36014db6b8cd1a02c41af9a64
a634d2977750efd14daaf8018feb1fdee3310b68
fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced0


