# isabelle_session_info

session_name: Well_Quasi_Orders
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
381df363fb5af5931f68add2be63eda5ce000611
3d085b2f15013ab9cdd8983b82002e5b7e45d759
489cc83115622e6abec1120f6a9cb06376b51e20
533151d900a1186719bd7db13d44261a3badb5f6
54eba29bc7244d89a0939143111bce31987e6527
5634204d7b3a8fc4754a23297e39ed38e0659817
5b77bfe746fb969ca5ddcd17d1e46b0b332699ba
617b13a7fa72de4b87dab21619e56ad80aa8b75b
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
71a02cf1a88b6183f35a2a220c2b22294341faf7
76e13891ca07678bd95d7518433a789d3f4ed779
79c07ebd2f5283bcd7da417cc2385083c28a6fd1
81de4762b4e143259c5d9fb6b097811906b676c1
8f405996a75651f5726cf372f46e94f052fd968d
9e13feec5f1ed7d649802bc05646bf8872d202fc
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bb9384413e4fe0f409f6124c8e83fc66a625de83
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0
ee8fc5f74186449772f156f8912c9a4cb4ae56e9
f4f91853e4b43d9bf995ef68bdd37d3ed6687be5
f52f8c0be86c23f5875d4c453512f93448e075e6
fac8ec90e4f007b9008fdb809babfbfb06349f8d

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


