# isabelle_session_info

session_name: Latin_Square
sources:
8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7
9c3929e8a20c41189ace55dafdcd9f64e8cf7657
af55cb6879d082b81d8f6c322aac8472997dc7b0
e587efe7a31b45fceb8cbe8e31287d5d15e8504b

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
e5ef1163f6f74c5d2fbd4a9d2730202c094e0063


