# isabelle_session_info

session_name: IOA
sources: f502382547d7ca6d4dd5b7cd2da4888a39402a85
input_heaps:
174cc62824810fb30472fdb32ee1776d48cb238c
fafe655213a5e9886fd032ac78bb3ac5809b55e3
672749b75d951882b4a5090926a07b98f5b47e29


