# isabelle_session_info

session_name: Stable_Matching
sources:
0a66a7da7c6ae01df1b38a0a7e2309e5a91ea5a9
389e949e6289a38b54323dfb27231ed5c860754c
4aa12486502df836e7e46b516d82f14d94b19707
50baf0d21466b92fa0f53db7895599c04e6fc5fe
6112b6bde07d8698ea4e1682fdae338b85368527
790d3a600200d102e286b4eaa17ee63acfbcce46
7e60080e73fb6df564114519fc00f2f2fc01a8ff
8cfbc9cf71b48aea9ca0bb312d0117124a2e405e
9967a993c1878d8204435ac6cebb76454bd2aa31
aa5827526f79bae21a3bc670176535baf779791f
dfbc103c3449ae12ffff3432362db3d4297e1059

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


