# isabelle_session_info

session_name: Girth_Chromatic
sources: d6e107c0c147f87b48e989aa1a7801ff1112919f
output_heap: 2389558af56a512faf28df3a0ed868b3de070d79
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
2ba2648cd2e9eefa4e482a87a5d42b21c90574a9
4935381b0a3d53b4475efa9a778a2dd6f8926c83


