# isabelle_session_info

session_name: Well_Quasi_Orders
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
2ebfbcf4bac120b56a73d6e643fdc85283b4d424
3032be206441c7a0278a78e61d3c80965912ef97
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
489cc83115622e6abec1120f6a9cb06376b51e20
52b0aace9d7980c050fa4e0a384a785c607e5f31
54eba29bc7244d89a0939143111bce31987e6527
5b77bfe746fb969ca5ddcd17d1e46b0b332699ba
617b13a7fa72de4b87dab21619e56ad80aa8b75b
71a02cf1a88b6183f35a2a220c2b22294341faf7
76e13891ca07678bd95d7518433a789d3f4ed779
81de4762b4e143259c5d9fb6b097811906b676c1
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
9e13feec5f1ed7d649802bc05646bf8872d202fc
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b9f45f1359f659122b1c5dc28e3affcd3f2783da
bb9384413e4fe0f409f6124c8e83fc66a625de83
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97
ee8fc5f74186449772f156f8912c9a4cb4ae56e9
f33c48f7c897828d8b99b4375b996d8290385c48
f4f91853e4b43d9bf995ef68bdd37d3ed6687be5
f52f8c0be86c23f5875d4c453512f93448e075e6
fac8ec90e4f007b9008fdb809babfbfb06349f8d

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c


