# isabelle_session_info

session_name: Ribbon_Proofs
sources:
0d758971f821ca0181401999280b4b5727c2e1d8
2878be339df159b721e572d744f380ca4a1cfd7d
2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e
50e733e7fab467df95b04548c4e2706403c4babe
7da39566f57d69be5537155922594e6955fb6777
9e6541da0c507c941d71c2bae2c08f3391802c06
a8bcac93bd9d5738ea1dc209af3f5370f4e56195
b0ba63647a071f94b45a11e9724e9c8f49321500
b7050ed146f8ae8507825860a6b53500992f67a7
beebb7f60ec6a9af24e3c8df0c2d02567052f78d
f79f8e4bef8636f0d6f2cb367b98fc0b36c311f3

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


