# isabelle_session_info

session_name: Ribbon_Proofs
sources:
0d758971f821ca0181401999280b4b5727c2e1d8
1b0bf34b873b4cf0e25f509ce39768c688401886
2878be339df159b721e572d744f380ca4a1cfd7d
2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e
4e07db99465c5fa25135ed90e710c2d06bc2e6fe
50e733e7fab467df95b04548c4e2706403c4babe
9e6541da0c507c941d71c2bae2c08f3391802c06
a8bcac93bd9d5738ea1dc209af3f5370f4e56195
b0ba63647a071f94b45a11e9724e9c8f49321500
b7050ed146f8ae8507825860a6b53500992f67a7
beebb7f60ec6a9af24e3c8df0c2d02567052f78d

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


