# isabelle_session_info

session_name: Main
input_heaps: 437dc5676d46fb75db6abfa3a6b123ebf805b4d0 7fec82fd7c75ad2fa33ed17eb3515eab3f1e83cb
output_heap: 1dca71d39a38c296bc6f37287a1a560b97279d10
sources:
1930c3b7c20d9797c64aa918366ea5bc9f263901
60b7e9719f502620ffe20077b2fb4140165f27b4
61009467416b2adb80b7564ad7a50f0f382a78a2
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced0


