# isabelle_session_info

session_name: HOL-SPARK-Manual
sources:
0aca56ee6774e0e8471b0985810374b856af7978
0aca56ee6774e0e8471b0985810374b856af7978
1d234d87cb7b05714043daa6bb6ad45b208b2e61
2f1bd31f34a03ecdc65b0589b7a00ec1912c435c
30fcdfd919a710e527c0335977fe7dd5258f4ee3
30fcdfd919a710e527c0335977fe7dd5258f4ee3
3905f41ab227936efb32c9fd40268e581eaea317
5355d3d5920fb8ab05860f27fafe55bffd3e892e
5c169c8421500fb59e27af578fd5fb53626feed5
60f1b0960918fbdb26a3f14a7c114df64dc3c208
6529df01adbc27024b3975428345214935b980ee
6754a0acecb403c5cdf6028ce8465862af0a27b6
6754a0acecb403c5cdf6028ce8465862af0a27b6
6c6a4ca664017c20a8f77df13dd87ec4880f4a89
6c6a4ca664017c20a8f77df13dd87ec4880f4a89
7136082c5d47d407b37acfcc3aaa392fbb65ab0a
74d421bb2a4244aa719cc71117994178b1bbba36
74d421bb2a4244aa719cc71117994178b1bbba36
7997f8ee34e60b3ab98579421f4cbd3a5742e634
7997f8ee34e60b3ab98579421f4cbd3a5742e634
7c04d2276009105b8defa4150eec70331c8a60a3
7ce49d091c1b39f45c87997a86a08ed94fe19e09
7ce49d091c1b39f45c87997a86a08ed94fe19e09
84696f4574c9ace888db031e70a6b8f027055faa
8577c85ada694f2ab3b8b69d34de81e76554d894
8782edd88b6e747bc64dfd3e3ee219d9999369a1
97e7bcfe192eb56855dd0cbae16374ff1faa3362
9a001f371e3ecf5ed74465d4b4cfa6b1be54e20f
9ce497700630239064b7301cbd9617c428299bc3
9ce497700630239064b7301cbd9617c428299bc3
a43486d5388b15f4123fe4864687ea9ad0c28fc2
a8ce121ed75af70a6ae178973f21a08b25d98e0d
a8fd497f26bccac92d4c376fca4aa6a0108777ed
acc86b0032174a68648d4d2ba9a9de0954273ec6
acc86b0032174a68648d4d2ba9a9de0954273ec6
b919baea96e30b849c816f80c9e4fca5e7459498
b919baea96e30b849c816f80c9e4fca5e7459498
bde696719c1af761cfdddd5f37f4453a4d774928
c9515139ca6da85284ae1e08f30b81d91285d7aa
d167e37652d419e6b94403ce637ff397a062c651
d167e37652d419e6b94403ce637ff397a062c651
d30b9abb4eb9d4d5f50e11950923cd87f7456485
dc209f37cb2624bf54eaeb1c14f6e3dcf9ce1142
ecf698306435c44fc4932234d9e09d71dd6d83b3
ee4ddd0108cd40ac3ececf18ba45656d4c1b2127
fe68d52dfe6070e5e98dabe7ba2fdc63b0d98f54
ffa69129e8206dbdc563cbe39e65e8988ff336e1
ffa69129e8206dbdc563cbe39e65e8988ff336e1

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
7f0952ac7fec10958e2fa703e156c54c828af00b
950b53d2498d1a5e23a78ed9c9facda4af4a9498


