# isabelle_session_info

session_name: HOL-Corec_Examples
sources:
07c5d03dde1ae5f2b36e2fea87349ea3494cb968
0b4ed18fa103a9b73b30f3656f5420d2f0ca5e33
0bc59f20bdb8e04359c6af429eae7043916436c3
0f3cd932dd628ae070c1f430260024e638b9df47
33584f964decff5317cd7608e197fe2e41875019
3b0f6effb8c89217a62fa199cc78d0ba43fc9c0e
3d35698303491318218576cf9ac4abe9518a84f9
440180ba34839bf1d550e5ca2d3debada982f8f8
58b854b10c1125cd1d2b06c359e6893a7639b1ab
6fba786ea31e0941f25489d5691b76f31249021b
7971bd004728f0be70d3fa974275f80ec9d0e97b
79e00d0754d85b0d537e24ca4a2e613f103ca78b
7de5f7ac1cb5d9eff834bc2f3f78814a6e8b0232
8d041d9d5bbcde13425b54274064a3fcab38e60b
958a27a1cfc5b1011cfd9d6d9d6dd6d6dbcce2e8
a6e9974b491f0f5f612e90d6a0d76a3075837815
e08bb231db321463229a5d62285b0d80a610ab77
fa55b961f895b3a0b8d24fbd260bfec03ad3841e

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
bc315400c916c04295cfa60734d24fe7f303421b


