# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2
9b738987f2d069af23af5e00acdec7355830e9fb


