# isabelle_session_info

session_name: Well_Quasi_Orders
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
0c4687a3322cf59ab7b6fa5c9418c244cd5f3d21
14059e988b6926e377a051639b7dddfdd1af5333
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3f397fe13f79f49519626b00201b8a6d2d263070
53f42d540abdf70b37830bf2ca9bf848602a78c3
5634204d7b3a8fc4754a23297e39ed38e0659817
5b77bfe746fb969ca5ddcd17d1e46b0b332699ba
617b13a7fa72de4b87dab21619e56ad80aa8b75b
639c9fc0eb0e405ee0c6a63790f53489cea4e303
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
71a02cf1a88b6183f35a2a220c2b22294341faf7
76e13891ca07678bd95d7518433a789d3f4ed779
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
8f405996a75651f5726cf372f46e94f052fd968d
9e13feec5f1ed7d649802bc05646bf8872d202fc
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
bb9384413e4fe0f409f6124c8e83fc66a625de83
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
be07e111df1d55fcc2d5292a1fd724fb0faa16f3
f4f91853e4b43d9bf995ef68bdd37d3ed6687be5
f52f8c0be86c23f5875d4c453512f93448e075e6
fac8ec90e4f007b9008fdb809babfbfb06349f8d

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


