# isabelle_session_info

session_name: Stable_Matching
sources:
0a66a7da7c6ae01df1b38a0a7e2309e5a91ea5a9
1858b0d463741119fec6358120055b59f64ea1ff
389e949e6289a38b54323dfb27231ed5c860754c
4aa12486502df836e7e46b516d82f14d94b19707
50baf0d21466b92fa0f53db7895599c04e6fc5fe
6112b6bde07d8698ea4e1682fdae338b85368527
7e60080e73fb6df564114519fc00f2f2fc01a8ff
89769972e30db28c3cb2232f8478402a0b53deb6
8cfbc9cf71b48aea9ca0bb312d0117124a2e405e
9967a993c1878d8204435ac6cebb76454bd2aa31
dfbc103c3449ae12ffff3432362db3d4297e1059

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef


