# isabelle_session_info

session_name: Secondary_Sylow
sources:
0d4ca91b60be9500c90aee83710a5c32b25701d8
9016e70736eb12e7f8e98edb02ac889909110f14
c6d33f696908642619028f80d5d7707602192bd8
cce72edfc02a20dd206a2409c7be50875c5f19f0
fb807d5cffe5012dbfe05ad36f22ee1e60d61182

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f


