# isabelle_session_info

session_name: Latin_Square
sources: c43a1d7603682fe2acd81f9e1342a2e6616f6278
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
b94877bad5a40f6b4bd9fd3dd8bd8bb3fcf11c6e


