# isabelle_session_info

session_name: IOA
sources: 8c197c74e5a2550d7dfdfb349c51010bd85c20d6
input_heaps:
b1e54acea5930507e7d6f6a2cf3e096a6a5c5921
2567a36c9f263cecbf56bc0b7767f76710f066f9
8058e0db04207c70a937b3a36b19d8eb0bf65749


