# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


