# isabelle_session_info

session_name: FileRefinement
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
10d3f9caf91557b4e6c4f250e850a2a5687905aa
10ff34f104a3e359c9f489a19debda3269cab2ed
3409c0e045ff2dcd1a56ec68c8830add04dd3737
3a827de45c65a4b9570929b4c7b826e635947b14
88353463e8c9943bc32c0fcef14bd1857e2e8565
9ad482ea1ce287427e91e9b3002c3c384c0bf89f
bbf04ad7a97683c0d9b3e3d09e586e5ca645e135


