# isabelle_session_info

session_name: Main
input_heaps: d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c
sources:
1930c3b7c20d9797c64aa918366ea5bc9f263901
60b7e9719f502620ffe20077b2fb4140165f27b4
6df45adb981e08f68a827206bb1b05ddbd152746
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced0


