# isabelle_session_info

session_name: Stable_Matching
sources:
0866dfd55c8e42f045650c701d119745cedc2e00
0a66a7da7c6ae01df1b38a0a7e2309e5a91ea5a9
6112b6bde07d8698ea4e1682fdae338b85368527
713cadebd00bec5900be62d1feb105e22a0d6d20
8cfbc9cf71b48aea9ca0bb312d0117124a2e405e
93ac90bf05cc526063c122d66a137240cd84859b
9967a993c1878d8204435ac6cebb76454bd2aa31
a0c0931f15773e89c2acd69c2199bd7774c0b511
c8f9e496683db3413c57d64a4f32d35b19d305f3
ca06c501a2fdaee0824696a85d026bde1c75f4f4
dfbc103c3449ae12ffff3432362db3d4297e1059

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


