# isabelle_session_info

session_name: Latin_Square
sources:
8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7
96f28a003a53e6ac016232d7d905ff277d121719
9c3929e8a20c41189ace55dafdcd9f64e8cf7657
e587efe7a31b45fceb8cbe8e31287d5d15e8504b

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
2d2abc25ffecbde5d52027b95b403188abb3248b


