# isabelle_session_info

session_name: Girth_Chromatic
sources: 82b181ba7c3777e535008b6a95e7ba9786a7c699
output_heap: 997163e3c2533e14da7049c6d52b79b200d7f82b
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
2544bd6d120119f58b33bbb80127629107294221
cb4777b8aec70e0672dd9ba669a547714be06c9e


