# isabelle_session_info

session_name: Latin_Square
sources: 5dc2a0b63b3aa728bc1fb84604e661f472cbf0a2
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
71f06125ac6fdbb6ea5ff60a1815ce95fbf5cc95


