# isabelle_session_info

session_name: IOA
sources: b5890bce5a50b7a88e1ee618c7d1cf73bd6997ac
input_heaps:
535da6560c7ae77bc6053e94d5fcc737870d4227
f4e9c31e6c0e2595248a604a7452c52f78c6a894
4c2a299644a6284de370a4448db368e18734944f


