# isabelle_session_info

session_name: IOA
sources: 2a6dcc7a5e99e0c334b9469b7a3bd668c50ab385
input_heaps:
6c8e13744f5674a7b5f427d5bc2c896df0f96141
905391c16947b268265525cd86d750411a1185b6
9af2336b531f3ddbd0d326e58815066fe543af44


