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 3/4: items 104551890 (this part 26137972), closures 76006273, weighted labelled R tested 35276745720 (all parts), pruned by K_8 test 3028122968 (this part), working 0 (weighted, this part; 0 items) (683.0 s)
timing (/usr/bin/time -p, nice 10, started 2026-10-19T18:22:01Z):
real 684.76
user 681.36
sys 1.70
