# isabelle_session_info

session_name: HOL-Corec_Examples
input_heaps: 680aafe9229ef73c81f6b008c602c3fae9c15e45 03b53026763bfa23a5632c7d7b11d90f7afd0248
sources:
07c5d03dde1ae5f2b36e2fea87349ea3494cb968
0bc59f20bdb8e04359c6af429eae7043916436c3
0f3cd932dd628ae070c1f430260024e638b9df47
33584f964decff5317cd7608e197fe2e41875019
345733401f52a910d8dadb57e7e63432afb912ce
3b0f6effb8c89217a62fa199cc78d0ba43fc9c0e
3d35698303491318218576cf9ac4abe9518a84f9
41388104a4a5efe93e14149d743a56e1da702723
4165209b01bbbc257e0d5e3b89809be3fc10ec06
440180ba34839bf1d550e5ca2d3debada982f8f8
513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81
58b854b10c1125cd1d2b06c359e6893a7639b1ab
5a8bf46f142fabbc62d8f177806670fdb6d4c2f2
6cf02697546665486bae5198d6fab19908be56bd
6fba786ea31e0941f25489d5691b76f31249021b
7971bd004728f0be70d3fa974275f80ec9d0e97b
79e00d0754d85b0d537e24ca4a2e613f103ca78b
7de5f7ac1cb5d9eff834bc2f3f78814a6e8b0232
8c7fe34604f2dc5f0517f3cea21e27cf553d28ff
8d041d9d5bbcde13425b54274064a3fcab38e60b
a438efea6288f9f4f15f7d643bb504a34d38c343
a6e9974b491f0f5f612e90d6a0d76a3075837815
b004bec88faa3c7d786fcf116279519116b87a63
c57202b4ffe9ff1ecbad147d413f3de8e9e5d302
cca035523dddb33f6c1096c40433b20f796d9748
d4a7c808b5209d986d7d6f6b5f43b3451099554d
e08bb231db321463229a5d62285b0d80a610ab77
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
fa55b961f895b3a0b8d24fbd260bfec03ad3841e
fc7344ff3b0e3dfee6086e358daf3f162204296e


