pattern order: 0 1 2 3 4 5 6 7; |Aut(Q)| = 48; chord orbits by size: 1 2 8 23 62 124 220
RESULT sym n=13 k=11 part 1/4: items 104551890 (this part 26137973), closures 76004506, weighted labelled R tested 35276745720 (all parts), pruned by K_8 test 3029706503 (this part), working 0 (weighted, this part; 0 items) (683.2 s)
timing (/usr/bin/time -p, nice 10, started 2026-10-19T18:22:01Z):
real 685.05
user 681.61
sys 1.72
