# isabelle_session_info

session_name: IOA
sources: 55bf361d3a6ded519cae13c2542075e35c799d77
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
924ea29036ded553ee5d96aac89c60723f3402c3


