# isabelle_session_info

session_name: Secondary_Sylow
sources: 62441e8e3c23cff72db17aa5f80dc8fd5b1d4d05
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28
799e17e0602b8a57e51c22711081aa85bbe0ad29
26957b508b4baf71538764af93c1fb38ff3317af


