# isabelle_session_info

session_name: Latin_Square
sources:
31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181
8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7
9c3929e8a20c41189ace55dafdcd9f64e8cf7657
e587efe7a31b45fceb8cbe8e31287d5d15e8504b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
3f3553205ecc3ad154b2198389fec21b973b2cb3


