# isabelle_session_info

session_name: Girth_Chromatic
sources:
08f0891cff2f74fd97fe4f8d9775b4b780015337
0e2369879c23ffa3af808601205c5bb2f112917a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
30afac17f29e367c46142872751722118953e506
3261bb411df4589b870785b9125cf822a937eb0c
3409823eec2206aa526e41e503adcabd1945717e
3da82dd2b91db0fffec29024fc6338a500de7ac5
44baec093d30bec4af6ab8a6da185f226cfd552e
5f73a2fbb357abb9784bc53c40b1c692f323e486
68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d
706eb1960d5b51bf830a960aee522e10aabc387c
8d8434495da4f2908e82a1b077cd387e59f40719
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
a46db6986ebb05a5036a578f07221fe6d4a3f5d7
a86ee3837d3922ff5690a81095b9153628b94229
bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d
c6595eb84f7f5b6ff8cf51591a134ede1855866a
ea487692239b63c714b16edc44acedef890cd258
f103f3d343bca13e480a588223b94054be433b5d
fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
f60747b440ff03a765b404a47b50b781d9eabc9e
57ac00825636505dad7737ee5d0282b048686430


