# isabelle_session_info

session_name: Ribbon_Proofs
sources:
1e3ba38bbe6e9633c82237dee457c82d07a0c335
2878be339df159b721e572d744f380ca4a1cfd7d
2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e
50e733e7fab467df95b04548c4e2706403c4babe
599803c6648073a6099ca0a685703b8f0284ddde
7da39566f57d69be5537155922594e6955fb6777
a8bcac93bd9d5738ea1dc209af3f5370f4e56195
b0ba63647a071f94b45a11e9724e9c8f49321500
b7050ed146f8ae8507825860a6b53500992f67a7
beebb7f60ec6a9af24e3c8df0c2d02567052f78d
e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef3

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


