# isabelle_session_info

session_name: IOA
sources: c6960a007ebce3db3c24b04ccc0e508ef54ca270
input_heaps:
77f3e6117d8d9e81a63ec2f1d36765fb9761e63d
d8b455c84836a9b5f1a1b8503c9c0539652a6ddb
e4eaff01986b5a42591ef3d9e023b6b0c41a40ac


