# isabelle_session_info

session_name: IOA
sources: 8791c4eaa709072893149060ddb6896180c63d21
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
b8f739bba447c7e18177c3f112e7a285e337a3d1


