# isabelle_session_info

session_name: IOA-NTP
sources: 3fd47bc19e8b7d5b86c3eaf77721648f5e06cf86
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
5fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2
5d16c632ca226aeaaa68020d894244018ae430ce


