# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


