# isabelle_session_info

session_name: IOA-ABP
sources: 142c548bac753f43bb264f81f8eeae3d2f3764d2
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
2511fd22fe17e1fd6b6dbd308e169e5056946464
94bb2dd71ab933de1a6bfc93c40e6acd573532d3


