# isabelle_session_info

session_name: IOA
sources: c69b49009d8de8a7482cbd5c88a761272c27ac53
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
6105b24e2998351bc5036e9603d7810cd4823116
ebe79e040d463a329389064939ab62e4f3187a39


