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 2/4: items 104551890 (this part 26137972), closures 76001884, weighted labelled R tested 35276745720 (all parts), pruned by K_8 test 3044798539 (this part), working 0 (weighted, this part; 0 items) (683.6 s)
timing (/usr/bin/time -p, nice 10, started 2026-10-19T18:22:01Z):
real 685.40
user 681.98
sys 1.71
