# isabelle_session_info

session_name: Latin_Square
sources:
8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7
9c3929e8a20c41189ace55dafdcd9f64e8cf7657
b57694c750678fbf653299774d67ba3e3b2cd85a
e587efe7a31b45fceb8cbe8e31287d5d15e8504b

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e9cb036d47cc13eceb15dd70a4422391af78e6c2


