# isabelle_session_info

session_name: Secondary_Sylow
sources:
0d4ca91b60be9500c90aee83710a5c32b25701d8
707f7081877423ffbac6d7d75ee7625d5f888056
9016e70736eb12e7f8e98edb02ac889909110f14
c6d33f696908642619028f80d5d7707602192bd8
cce72edfc02a20dd206a2409c7be50875c5f19f0

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
f013446ba76027b3286f5b8e02f8911162859882
e10af832a830686e469df2bb65936697791c0a85
bf3c6b20e387a602f4b2ecd8078d1f88a0d5e30d


